WIP: Move CI to GitHub Actions #1
Job | Run time |
---|---|
3m 19s | |
3m 35s | |
39s | |
1m 16s | |
1m 28s | |
42s | |
1m 45s | |
1m 12s | |
33s | |
1m 57s | |
1m 19s | |
30s | |
32s | |
18m 47s |
Job | Run time |
---|---|
3m 19s | |
3m 35s | |
39s | |
1m 16s | |
1m 28s | |
42s | |
1m 45s | |
1m 12s | |
33s | |
1m 57s | |
1m 19s | |
30s | |
32s | |
18m 47s |