Skip to content

CI: update to Coq 8.19.2 and Emacs 29.4 #244

CI: update to Coq 8.19.2 and Emacs 29.4

CI: update to Coq 8.19.2 and Emacs 29.4 #244

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