Skip to content

CI: update to Coq 8.19.2 and Emacs 29.4 #704

CI: update to Coq 8.19.2 and Emacs 29.4

CI: update to Coq 8.19.2 and Emacs 29.4 #704

Job Run time
28s
28s
44s
44s
43s
43s
4m 1s
4m 1s
45s
45s
1m 55s
1m 55s
4m 4s
4m 4s
43s
43s
4m 11s
4m 11s
43s
43s
1m 55s
1m 55s
4m 7s
4m 7s
1m 21s
1m 21s
47s
47s
1m 59s
1m 59s
4m 1s
4m 1s
1m 25s
1m 25s
45s
45s
4m 25s
4m 25s
1m 52s
1m 52s
1m 29s
1m 29s
58s
58s
4m 11s
4m 11s
2m 3s
2m 3s
1m 29s
1m 29s
1m 3s
1m 3s
4m 12s
4m 12s
1m 50s
1m 50s
1m 22s
1m 22s
56s
56s
4m 59s
4m 59s
2m 2s
2m 2s
5m 0s
5m 0s
1m 32s
1m 32s
1m 55s
1m 55s
4m 53s
4m 53s
1m 20s
1m 20s
38s
38s
2m 29s
2m 29s
4m 40s
4m 40s
2m 27s
2m 27s
1m 25s
1m 25s
37s
37s
4m 31s
4m 31s
2m 28s
2m 28s
1m 58s
1m 58s
43s
43s
5m 0s
5m 0s
2m 0s
2m 0s
1m 58s
1m 58s
42s
42s
4m 55s
4m 55s
2m 0s
2m 0s
1m 54s
1m 54s
40s
40s
4m 57s
4m 57s
40s
40s
2m 25s
2m 25s
4m 54s
4m 54s
50s
50s
2m 34s
2m 34s
5m 15s
5m 15s
50s
50s
2m 0s
2m 0s
2m 25s
2m 25s
4m 41s
4m 41s
49s
49s
1m 29s
1m 29s
2m 26s
2m 26s
4m 44s
4m 44s
1m 57s
1m 57s
2m 31s
2m 31s
4m 39s
4m 39s
1m 51s
1m 51s
2m 4s
2m 4s
29s
29s
4m 41s
4m 41s
2m 9s
2m 9s
27s
27s
4m 38s
4m 38s
2m 4s
2m 4s
26s
26s
2m 0s
2m 0s
5m 6s
5m 6s
2m 8s
2m 8s
26s
26s
1m 59s
1m 59s
5m 9s
5m 9s
2m 10s
2m 10s
26s
26s
1m 59s
1m 59s
5m 12s
5m 12s
2m 30s
2m 30s
1m 28s
1m 28s
5m 8s
5m 8s
26s
26s
2m 34s
2m 34s
1m 30s
1m 30s
5m 6s
5m 6s
2m 33s
2m 33s
40s
40s
5m 3s
5m 3s
8s
1m 37s
2m 36s
2m 36s
38s
38s
5m 2s
5m 2s
1m 29s
1m 29s
2m 36s
2m 36s
42s
42s
5m 23s
5m 23s
1m 34s
1m 34s
2m 30s
2m 30s
5m 5s
5m 5s
1m 57s
1m 57s
2m 29s
2m 29s
1m 56s
1m 56s
2m 28s
2m 28s
1m 57s
1m 57s
2m 41s
2m 41s
2m 0s
2m 0s
1m 54s
1m 54s
1m 58s
1m 58s
2m 1s
2m 1s
1m 58s
1m 58s
1m 57s
1m 57s
9h 58m 49s