Merge pull request #406 from math-comp/coq-elpi-2 #191
Job | Run time |
---|---|
27s | |
4m 19s | |
1m 20s | |
1m 7s | |
1m 22s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
8m 35s |
Job | Run time |
---|---|
27s | |
4m 19s | |
1m 20s | |
1m 7s | |
1m 22s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
8m 35s |