Merge pull request #577 from Philippus/update-headers-and-notice #93
Job | Run time |
---|---|
1m 16s | |
1m 14s | |
1m 16s | |
1m 31s | |
1m 26s | |
1m 24s | |
1m 35s | |
1m 34s | |
1m 36s | |
1m 30s | |
1m 30s | |
1m 43s | |
17m 35s |
Job | Run time |
---|---|
1m 16s | |
1m 14s | |
1m 16s | |
1m 31s | |
1m 26s | |
1m 24s | |
1m 35s | |
1m 34s | |
1m 36s | |
1m 30s | |
1m 30s | |
1m 43s | |
17m 35s |