Skip to content

CI: update for Coq 8.19+rc1 #539

CI: update for Coq 8.19+rc1

CI: update for Coq 8.19+rc1 #539

Job Run time
45s
50s
47s
56s
4m 14s
1m 11s
4m 11s
1m 22s
4m 13s
54s
4m 13s
2m 0s
56s
4m 4s
1m 53s
1m 21s
4m 2s
2m 0s
1m 32s
4m 18s
1m 48s
1m 29s
48s
4m 30s
1m 54s
1m 33s
45s
4m 30s
1m 47s
45s
1m 35s
4m 29s
1m 51s
44s
1m 28s
4m 29s
2m 7s
44s
1m 30s
4m 36s
1m 54s
49s
1m 26s
4m 32s
1m 56s
1m 35s
1m 56s
4m 37s
1m 32s
2m 0s
31s
4m 49s
1m 29s
1m 55s
32s
4m 53s
1m 35s
2m 9s
34s
4m 38s
1m 33s
2m 0s
39s
4m 38s
1m 41s
1m 58s
39s
4m 47s
1m 33s
2m 4s
38s
4m 46s
1m 39s
2m 15s
4m 50s
1m 35s
2m 4s
4m 43s
1m 35s
1m 59s
4m 44s
1m 38s
2m 4s
4m 46s
1m 30s
1m 59s
4m 37s
1m 38s
1m 58s
1m 33s
1m 53s
1m 31s
4m 40s
1m 56s
1m 42s
1m 38s
1m 53s
1m 35s
1m 55s
4m 42s
1m 31s
1m 36s
1m 56s
4m 36s
1m 53s
1m 36s
4m 43s
2m 4s
1m 31s
4m 49s
2m 4s
1m 33s
4m 44s
1m 56s
1m 36s
2m 11s
1m 34s
1m 40s
1m 36s
4h 37m 3s