Skip to content

CI compile tests: add coqdep error detection tests #142

CI compile tests: add coqdep error detection tests

CI compile tests: add coqdep error detection tests #142

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