[CI] Ensure that the HEAD of the PR branch is checked out instead of … #853
Job | Run time |
---|---|
51m 45s | |
6m 55s | |
22m 17s | |
4m 23s | |
23m 32s | |
6m 43s | |
1h 41m 34s | |
38m 17s | |
43m 14s | |
52m 6s | |
20m 45s | |
22m 22s | |
6h 33m 53s |
Job | Run time |
---|---|
51m 45s | |
6m 55s | |
22m 17s | |
4m 23s | |
23m 32s | |
6m 43s | |
1h 41m 34s | |
38m 17s | |
43m 14s | |
52m 6s | |
20m 45s | |
22m 22s | |
6h 33m 53s |