Add ADR008: Obtaining and Launching Apalache #2502
Job | Run time |
---|---|
40s | |
6m 7s | |
13m 45s | |
9m 34s | |
47s | |
5m 6s | |
22m 11s | |
1m 49s | |
45s | |
1m 24s | |
2m 46s | |
2m 8s | |
2m 31s | |
6m 8s | |
5m 11s | |
1h 20m 52s |
Job | Run time |
---|---|
40s | |
6m 7s | |
13m 45s | |
9m 34s | |
47s | |
5m 6s | |
22m 11s | |
1m 49s | |
45s | |
1m 24s | |
2m 46s | |
2m 8s | |
2m 31s | |
6m 8s | |
5m 11s | |
1h 20m 52s |