Add CI + management scripts #16
| Job | Run time |
|---|---|
| 12s | |
| 1s | |
| 8m 26s | |
| 13m 0s | |
| 10m 25s | |
| 11m 27s | |
| 10m 52s | |
| 11m 25s | |
| 14m 19s | |
| 10m 51s | |
| 8m 45s | |
| 9m 51s | |
| 11m 7s | |
| 13m 17s | |
| 21m 59s | |
| 11m 23s | |
| 12m 45s | |
| 13m 31s | |
| 18m 2s | |
| 9m 36s | |
| 13m 8s | |
| 11m 32s | |
| 1h 23m 27s | |
| 1h 32m 41s | |
| 1h 45m 45s | |
| 1h 40m 35s | |
| 1h 18m 6s | |
| 1h 19m 28s | |
| 0s | |
| 0s | |
| 13h 5m 56s |