This repository has been archived by the owner on Aug 20, 2024. It is now read-only.
update externals and github workflow #190
| Job | Run time |
|---|---|
| 8m 25s | |
| 6m 12s | |
| 17m 23s | |
| 5m 46s | |
| 18m 25s | |
| 11m 22s | |
| 11m 4s | |
| 13m 6s | |
| 11m 8s | |
| 1h 42m 51s |
| Job | Run time |
|---|---|
| 8m 25s | |
| 6m 12s | |
| 17m 23s | |
| 5m 46s | |
| 18m 25s | |
| 11m 22s | |
| 11m 4s | |
| 13m 6s | |
| 11m 8s | |
| 1h 42m 51s |