Skip to content

CI: update for Coq 8.19+rc1 #139

CI: update for Coq 8.19+rc1

CI: update for Coq 8.19+rc1 #139

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