Generalize Prelude proof helpers #3166
Job | Run time |
---|---|
3s | |
10m 51s | |
5m 46s | |
6m 29s | |
3m 41s | |
3m 7s | |
5m 53s | |
1m 31s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
37m 21s |
Job | Run time |
---|---|
3s | |
10m 51s | |
5m 46s | |
6m 29s | |
3m 41s | |
3m 7s | |
5m 53s | |
1m 31s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
37m 21s |