This repository has been archived by the owner on Aug 22, 2024. It is now read-only.
Update MIRAI to work with latest nightly #1039
Job | Run time |
---|---|
1m 14s | |
7m 57s | |
25m 25s | |
26m 43s | |
23m 51s | |
1h 25m 10s |
Job | Run time |
---|---|
1m 14s | |
7m 57s | |
25m 25s | |
26m 43s | |
23m 51s | |
1h 25m 10s |