Move misc CI checks to GitHub Actions (#862)
#854
| Job | Run time |
|---|---|
| 11m 48s | |
| 8m 17s | |
| 8m 51s | |
| 13m 22s | |
| 18m 16s | |
| 14m 15s | |
| 18m 57s | |
| 14m 52s | |
| 4m 38s | |
| 5m 53s | |
| 8m 42s | |
| 13m 1s | |
| 11m 0s | |
| 21m 39s | |
| 11m 35s | |
| 10m 53s | |
| 9m 33s | |
| 9m 47s | |
| 4m 25s | |
| 8m 26s | |
| 7m 34s | |
| 7m 10s | |
| 8m 26s | |
| 59s | |
| 11m 23s | |
| 9m 27s | |
| 9m 13s | |
| 10m 36s | |
| 7m 33s | |
| 8m 5s | |
| 7m 55s | |
| 7m 47s | |
| 8m 20s | |
| 12m 39s | |
| 12m 29s | |
| 11m 36s | |
| 12m 2s | |
| 13m 20s | |
| 18m 44s | |
| 17m 45s | |
| 15m 33s | |
| 14m 11s | |
| 17m 22s | |
| 47s | |
| 12m 55s | |
| 12m 33s | |
| 12m 42s | |
| 13m 46s | |
| 20m 11s | |
| 19m 56s | |
| 18m 40s | |
| 27s | |
| 27s | |
| 14m 56s | |
| 15m 26s | |
| 14m 39s | |
| 20s | |
| 24s | |
| 7m 54s | |
| 9m 39s | |
| 8m 57s | |
| 7m 40s | |
| 8m 31s | |
| 11h 19m 9s |