Merge pull request #625 from Catamantaloedis/hint_spin_loop #630
Job | Run time |
---|---|
21s | |
15s | |
16s | |
47s | |
18s | |
47s | |
20s | |
1m 0s | |
46s | |
1m 6s | |
17s | |
1m 38s | |
1m 49s | |
1m 46s | |
11m 26s |
Job | Run time |
---|---|
21s | |
15s | |
16s | |
47s | |
18s | |
47s | |
20s | |
1m 0s | |
46s | |
1m 6s | |
17s | |
1m 38s | |
1m 49s | |
1m 46s | |
11m 26s |