Merge pull request #74 from anoma/grarco+jacob/verifier-fix #517
Job | Run time |
---|---|
1m 0s | |
47s | |
44s | |
53s | |
11s | |
1m 17s | |
12s | |
3m 8s | |
3m 12s | |
7m 10s | |
3m 54s | |
22m 28s |
Job | Run time |
---|---|
1m 0s | |
47s | |
44s | |
53s | |
11s | |
1m 17s | |
12s | |
3m 8s | |
3m 12s | |
7m 10s | |
3m 54s | |
22m 28s |