Skip to content

coq-par-compile: add user options for extra coqc/coqdep arguments #578

coq-par-compile: add user options for extra coqc/coqdep arguments

coq-par-compile: add user options for extra coqc/coqdep arguments #578

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