Manage Apalache server #2527
Job | Run time |
---|---|
36s | |
39s | |
1m 2s | |
49s | |
37s | |
58s | |
2m 37s | |
1m 4s | |
43s | |
1m 43s | |
59s | |
49s | |
45s | |
55s | |
1m 14s | |
15m 30s |
Job | Run time |
---|---|
36s | |
39s | |
1m 2s | |
49s | |
37s | |
58s | |
2m 37s | |
1m 4s | |
43s | |
1m 43s | |
59s | |
49s | |
45s | |
55s | |
1m 14s | |
15m 30s |