Skip to content

Fixing the debug mode (for recent coq verions). #735

Fixing the debug mode (for recent coq verions).

Fixing the debug mode (for recent coq verions). #735

Job Run time
51s
33s
47s
4m 14s
42s
49s
4m 8s
1m 51s
51s
4m 12s
1m 50s
54s
4m 9s
2m 1s
49s
4m 9s
1m 24s
1m 53s
58s
4m 6s
1m 25s
1m 57s
1m 3s
4m 11s
1m 31s
1m 50s
58s
4m 19s
2m 5s
1m 27s
4m 55s
1m 57s
1m 24s
4m 58s
2m 31s
38s
1m 31s
5m 0s
38s
2m 31s
1m 26s
4m 31s
41s
2m 30s
1m 26s
4m 29s
42s
2m 3s
1m 59s
4m 57s
40s
2m 1s
2m 2s
5m 25s
38s
2m 25s
1m 58s
4m 55s
52s
2m 29s
1m 33s
4m 59s
56s
2m 27s
1m 28s
5m 2s
1m 14s
1m 57s
2m 29s
4m 40s
2m 27s
1m 57s
4m 38s
2m 0s
1m 58s
4m 42s
28s
2m 6s
2m 0s
4m 43s
27s
2m 3s
1m 58s
5m 5s
29s
2m 3s
1m 30s
5m 10s
27s
2m 30s
1m 32s
5m 11s
27s
2m 31s
1m 32s
5m 7s
30s
2m 32s
1m 34s
5m 40s
1m 0s
2m 32s
1m 58s
39s
5m 40s
3m 3s
2m 9s
40s
5m 37s
2m 58s
1m 59s
5m 40s
3m 0s
2m 0s
5m 49s
2m 59s
2m 28s
5m 42s
3m 3s
2m 28s
5m 37s
2m 57s
2m 32s
5m 33s
3m 5s
2m 28s
5m 35s
2m 56s
2m 26s
3m 1s
2m 24s
2m 24s
2m 29s
2m 31s
5h 45m 33s