[WIP] Move CI infrastructure to GitHub Actions #9825
Job | Run time |
---|---|
1s | |
6m 44s | |
6m 39s | |
6m 39s | |
1s | |
6m 39s | |
6m 41s | |
6m 47s | |
6m 31s | |
6m 52s | |
6m 51s | |
6m 34s | |
6m 44s | |
6m 44s | |
6m 47s | |
1s | |
1s | |
1s | |
1h 27m 17s |
Job | Run time |
---|---|
1s | |
6m 44s | |
6m 39s | |
6m 39s | |
1s | |
6m 39s | |
6m 41s | |
6m 47s | |
6m 31s | |
6m 52s | |
6m 51s | |
6m 34s | |
6m 44s | |
6m 44s | |
6m 47s | |
1s | |
1s | |
1s | |
1h 27m 17s |