Skip to content

simple-tests/omit_test: fix Coq sources for 8.19 #554

simple-tests/omit_test: fix Coq sources for 8.19

simple-tests/omit_test: fix Coq sources for 8.19 #554

Job Run time
37s
30s
46s
31s
4m 8s
37s
1m 53s
4m 7s
47s
1m 51s
4m 29s
38s
1m 57s
4m 11s
37s
1m 50s
1m 26s
4m 1s
1m 25s
1m 47s
4m 1s
1m 26s
40s
1m 45s
4m 16s
1m 30s
39s
1m 53s
4m 14s
1m 32s
33s
4m 26s
1m 52s
1m 23s
33s
1m 51s
1m 27s
37s
1m 53s
1m 32s
4m 37s
31s
1m 53s
1m 32s
4m 34s
2m 3s
1m 32s
4m 40s
2m 7s
4m 35s
22s
1m 27s
2m 3s
4m 37s
20s
1m 35s
1m 56s
4m 31s
24s
1m 39s
2m 1s
4m 38s
21s
1m 36s
1m 55s
4m 40s
21s
1m 39s
2m 0s
4m 39s
25s
1m 38s
1m 58s
1m 38s
4m 30s
1m 54s
1m 36s
4m 38s
1m 55s
4m 50s
1m 33s
2m 2s
4m 42s
1m 37s
1m 52s
4m 44s
1m 33s
1m 54s
4m 54s
1m 36s
2m 6s
4m 48s
1m 42s
2m 1s
4m 45s
1m 40s
1m 57s
4m 47s
1m 34s
4m 40s
1m 57s
4m 44s
2m 0s
1m 33s
4m 43s
2m 0s
1m 38s
4m 47s
1m 56s
1m 34s
4m 46s
1m 54s
1m 32s
2m 0s
4m 47s
1m 35s
1m 35s
1m 38s
1m 39s
4h 36m 46s