Merge pull request #1211 from informalsystems/gabriela/quint-error-st… #2782
| Job | Run time |
|---|---|
| 2m 2s | |
| 41s | |
| 40s | |
| 6m 0s | |
| 5m 31s | |
| 9m 31s | |
| 1m 24s | |
| 9m 13s | |
| 1m 23s | |
| 5m 45s | |
| 1m 51s | |
| 2m 22s | |
| 2m 19s | |
| 5m 8s | |
| 5m 18s | |
| 59m 8s |
| Job | Run time |
|---|---|
| 2m 2s | |
| 41s | |
| 40s | |
| 6m 0s | |
| 5m 31s | |
| 9m 31s | |
| 1m 24s | |
| 9m 13s | |
| 1m 23s | |
| 5m 45s | |
| 1m 51s | |
| 2m 22s | |
| 2m 19s | |
| 5m 8s | |
| 5m 18s | |
| 59m 8s |