Manage Apalache server #2526
Job | Run time |
---|---|
38s | |
57s | |
1m 19s | |
1m 57s | |
41s | |
1m 19s | |
42s | |
40s | |
1m 8s | |
1m 6s | |
39s | |
49s | |
40s | |
1m 15s | |
1m 39s | |
15m 29s |
Job | Run time |
---|---|
38s | |
57s | |
1m 19s | |
1m 57s | |
41s | |
1m 19s | |
42s | |
40s | |
1m 8s | |
1m 6s | |
39s | |
49s | |
40s | |
1m 15s | |
1m 39s | |
15m 29s |