Skip to content

CI: update for Coq 8.19+rc1 #536

CI: update for Coq 8.19+rc1

CI: update for Coq 8.19+rc1 #536

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