Merge pull request #74 from tweag/cg/fix_windows_check #278
Job | Run time |
---|---|
34s | |
35s | |
40s | |
28s | |
19s | |
3m 7s | |
1m 45s | |
1m 42s | |
1m 28s | |
1m 13s | |
1m 25s | |
42s | |
46s | |
1m 15s | |
1m 16s | |
17s | |
17m 32s |
Job | Run time |
---|---|
34s | |
35s | |
40s | |
28s | |
19s | |
3m 7s | |
1m 45s | |
1m 42s | |
1m 28s | |
1m 13s | |
1m 25s | |
42s | |
46s | |
1m 15s | |
1m 16s | |
17s | |
17m 32s |