Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-… #7123
| Job | Run time |
|---|---|
| 2m 13s | |
| 21m 27s | |
| 5s | |
| 3m 47s | |
| 18m 55s | |
| 2m 55s | |
| 9m 6s | |
| 5m 24s | |
| 15m 6s | |
| 4m 54s | |
| 1h 23m 52s |
| Job | Run time |
|---|---|
| 2m 13s | |
| 21m 27s | |
| 5s | |
| 3m 47s | |
| 18m 55s | |
| 2m 55s | |
| 9m 6s | |
| 5m 24s | |
| 15m 6s | |
| 4m 54s | |
| 1h 23m 52s |