Manage Apalache server #2525
Job | Run time |
---|---|
40s | |
40s | |
57s | |
1m 8s | |
37s | |
1m 12s | |
56s | |
44s | |
54s | |
1m 2s | |
1m 33s | |
33s | |
37s | |
1m 5s | |
1m 23s | |
14m 1s |
Job | Run time |
---|---|
40s | |
40s | |
57s | |
1m 8s | |
37s | |
1m 12s | |
56s | |
44s | |
54s | |
1m 2s | |
1m 33s | |
33s | |
37s | |
1m 5s | |
1m 23s | |
14m 1s |