Merge pull request #1495 from informalsystems/gabriela/new-evaluator #3510
Job | Run time |
---|---|
49s | |
35s | |
1m 30s | |
26s | |
5m 2s | |
3m 23s | |
5m 9s | |
31s | |
5m 36s | |
1m 4s | |
4m 8s | |
1m 42s | |
3m 15s | |
4m 38s | |
37m 48s |
Job | Run time |
---|---|
49s | |
35s | |
1m 30s | |
26s | |
5m 2s | |
3m 23s | |
5m 9s | |
31s | |
5m 36s | |
1m 4s | |
4m 8s | |
1m 42s | |
3m 15s | |
4m 38s | |
37m 48s |