Merge pull request #2956 from apalache-mc/release/0.45.3 #6899
Job | Run time |
---|---|
3s | |
21m 39s | |
2m 7s | |
4m 6s | |
19m 14s | |
2m 55s | |
6m 33s | |
3m 47s | |
9m 56s | |
16m 8s | |
1h 26m 28s |
Job | Run time |
---|---|
3s | |
21m 39s | |
2m 7s | |
4m 6s | |
19m 14s | |
2m 55s | |
6m 33s | |
3m 47s | |
9m 56s | |
16m 8s | |
1h 26m 28s |