Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro… #7108
| Job | Run time |
|---|---|
| 7s | |
| 21m 48s | |
| 2m 8s | |
| 3m 56s | |
| 19m 20s | |
| 8m 35s | |
| 2m 57s | |
| 13m 13s | |
| 5m 13s | |
| 7m 25s | |
| 1h 24m 42s |
| Job | Run time |
|---|---|
| 7s | |
| 21m 48s | |
| 2m 8s | |
| 3m 56s | |
| 19m 20s | |
| 8m 35s | |
| 2m 57s | |
| 13m 13s | |
| 5m 13s | |
| 7m 25s | |
| 1h 24m 42s |