Merge pull request #3 from uwplse/tiny-fixes #9
Job | Run time |
---|---|
35s | |
1s | |
30s | |
1m 35s | |
30s | |
1m 14s | |
36s | |
54s | |
1s | |
1m 42s | |
15s | |
1m 50s | |
51s | |
9s | |
10m 43s |
Job | Run time |
---|---|
35s | |
1s | |
30s | |
1m 35s | |
30s | |
1m 14s | |
36s | |
54s | |
1s | |
1m 42s | |
15s | |
1m 50s | |
51s | |
9s | |
10m 43s |