Skip to content

CI: add Coq 8.20

CI: add Coq 8.20 #250

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