Merge pull request #577 from Philippus/update-headers-and-notice #319
Job | Run time |
---|---|
1m 22s | |
1m 26s | |
1m 27s | |
1m 29s | |
1m 23s | |
1m 44s | |
1m 34s | |
1m 37s | |
1m 39s | |
1m 34s | |
1m 35s | |
1m 30s | |
18m 20s |
Job | Run time |
---|---|
1m 22s | |
1m 26s | |
1m 27s | |
1m 29s | |
1m 23s | |
1m 44s | |
1m 34s | |
1m 37s | |
1m 39s | |
1m 34s | |
1m 35s | |
1m 30s | |
18m 20s |