Merge pull request #1084 from informalsystems/sum-types/1089/parser-r… #2426
Job | Run time |
---|---|
42s | |
5m 15s | |
14m 45s | |
7m 41s | |
4m 28s | |
6m 59s | |
59s | |
1m 23s | |
1m 23s | |
1m 45s | |
2m 6s | |
32s | |
2m 39s | |
3m 59s | |
4m 17s | |
58m 53s |
Job | Run time |
---|---|
42s | |
5m 15s | |
14m 45s | |
7m 41s | |
4m 28s | |
6m 59s | |
59s | |
1m 23s | |
1m 23s | |
1m 45s | |
2m 6s | |
32s | |
2m 39s | |
3m 59s | |
4m 17s | |
58m 53s |