Skip to content

fix(coq.el): (setq proof-shell-strip-crs-from-input nil) (#774) #701

fix(coq.el): (setq proof-shell-strip-crs-from-input nil) (#774)

fix(coq.el): (setq proof-shell-strip-crs-from-input nil) (#774) #701

Job Run time
29s
45s
46s
45s
4m 11s
46s
3m 56s
48s
4m 17s
2m 0s
52s
4m 13s
1m 26s
1m 57s
44s
4m 13s
1m 54s
1m 23s
54s
4m 0s
1m 59s
1m 26s
55s
4m 9s
1m 58s
1m 25s
4m 12s
1m 50s
1m 21s
4m 56s
1m 55s
39s
1m 22s
6m 12s
1m 56s
39s
1m 31s
5m 2s
2m 22s
38s
1m 25s
4m 37s
2m 30s
37s
1m 59s
4m 30s
2m 24s
39s
1m 59s
4m 34s
2m 23s
37s
1m 56s
4m 26s
2m 4s
51s
1m 34s
5m 6s
2m 8s
47s
1m 28s
4m 55s
2m 10s
1m 37s
5m 15s
2m 29s
1m 31s
4m 55s
2m 28s
29s
1m 52s
4m 55s
2m 25s
25s
2m 1s
4m 40s
2m 24s
25s
1m 59s
4m 46s
2m 30s
26s
1m 59s
4m 42s
2m 1s
29s
4m 41s
1m 57s
25s
2m 2s
4m 42s
1m 27s
37s
2m 5s
4m 45s
1m 27s
40s
2m 11s
4m 41s
1m 29s
2m 5s
4m 40s
1m 36s
2m 5s
4m 41s
1m 32s
2m 6s
4m 45s
1m 34s
2m 1s
1m 39s
4m 56s
2m 9s
1m 30s
4m 53s
2m 9s
1m 37s
4m 43s
2m 5s
1m 32s
2m 4s
1m 36s
2m 7s
1m 36s
1m 39s
4h 55m 37s