Skip to content
CI

CI: add Emacs 29.1 and Coq 8.18-rc1 in CI #517

Sign in to view logs

CI: add Emacs 29.1 and Coq 8.18-rc1 in CI

CI: add Emacs 29.1 and Coq 8.18-rc1 in CI #517

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-doc-magic (28.2)
44s
check-doc-magic (29.1)
50s
build (25.2)
1m 15s
build (25.3)
1m 11s
build (26.1)
1m 0s
build (26.2)
1m 25s
build (26.3)
55s
build (27.1)
1m 0s
build (27.2)
1m 2s
build (28.1)
1m 6s
build (28.2)
1m 7s
build (29.1)
1m 10s
compile-tests (coq-8.6-emacs-25.2)
4m 18s
compile-tests (coq-8.6-emacs-28.2)
3m 55s
compile-tests (coq-8.7-emacs-25.3)
4m 15s
compile-tests (coq-8.7-emacs-28.2)
4m 20s
compile-tests (coq-8.8-emacs-26.1)
4m 46s
compile-tests (coq-8.8-emacs-28.2)
4m 16s
compile-tests (coq-8.9-emacs-26.2)
4m 25s
compile-tests (coq-8.9-emacs-28.2)
4m 2s
compile-tests (coq-8.10-emacs-26.3)
4m 23s
compile-tests (coq-8.10-emacs-28.2)
4m 13s
compile-tests (coq-8.11-emacs-26.3)
4m 41s
compile-tests (coq-8.11-emacs-29.1)
4m 13s
compile-tests (coq-8.12-emacs-27.1)
4m 34s
compile-tests (coq-8.12-emacs-29.1)
4m 19s
compile-tests (coq-8.13-emacs-27.2)
4m 13s
compile-tests (coq-8.13-emacs-29.1)
4m 5s
compile-tests (coq-8.14-emacs-27.2)
4m 17s
compile-tests (coq-8.14-emacs-29.1)
4m 20s
compile-tests (coq-8.15-emacs-25.2)
4m 59s
compile-tests (coq-8.15-emacs-26.3)
4m 57s
compile-tests (coq-8.15-emacs-27.1)
4m 35s
compile-tests (coq-8.15-emacs-28.1)
4m 38s
compile-tests (coq-8.15-emacs-28.2)
4m 44s
compile-tests (coq-8.15-emacs-29.1)
4m 56s
compile-tests (coq-8.16-emacs-25.2)
4m 46s
compile-tests (coq-8.16-emacs-26.3)
4m 45s
compile-tests (coq-8.16-emacs-27.1)
5m 24s
compile-tests (coq-8.16-emacs-28.2)
5m 15s
compile-tests (coq-8.16-emacs-29.1)
4m 42s
compile-tests (coq-8.17-emacs-25.2)
5m 2s
compile-tests (coq-8.17-emacs-26.2)
5m 8s
compile-tests (coq-8.17-emacs-26.3)
5m 1s
compile-tests (coq-8.17-emacs-27.1)
4m 47s
compile-tests (coq-8.17-emacs-27.2)
4m 41s
compile-tests (coq-8.17-emacs-28.1)
5m 2s
compile-tests (coq-8.17-emacs-28.2)
4m 44s
compile-tests (coq-8.17-emacs-29.1)
5m 1s
compile-tests (coq-8.18-rc-emacs-26.3)
5m 8s
compile-tests (coq-8.18-rc-emacs-27.1)
4m 43s
compile-tests (coq-8.18-rc-emacs-27.2)
5m 11s
compile-tests (coq-8.18-rc-emacs-28.1)
4m 42s
compile-tests (coq-8.18-rc-emacs-28.2)
4m 43s
compile-tests (coq-8.18-rc-emacs-29.1)
4m 42s
simple-tests (coq-8.6-emacs-25.2)
1m 37s
simple-tests (coq-8.6-emacs-28.2)
1m 39s
simple-tests (coq-8.7-emacs-25.3)
2m 6s
simple-tests (coq-8.7-emacs-28.2)
1m 43s
simple-tests (coq-8.8-emacs-26.1)
2m 16s
simple-tests (coq-8.8-emacs-28.2)
1m 54s
simple-tests (coq-8.9-emacs-26.2)
1m 58s
simple-tests (coq-8.9-emacs-28.2)
1m 51s
simple-tests (coq-8.10-emacs-26.3)
2m 2s
simple-tests (coq-8.10-emacs-28.2)
1m 51s
simple-tests (coq-8.11-emacs-26.3)
1m 51s
simple-tests (coq-8.11-emacs-29.1)
1m 50s
simple-tests (coq-8.12-emacs-27.1)
1m 53s
simple-tests (coq-8.12-emacs-29.1)
2m 6s
simple-tests (coq-8.13-emacs-27.2)
2m 2s
simple-tests (coq-8.13-emacs-29.1)
1m 51s
simple-tests (coq-8.14-emacs-27.2)
2m 18s
simple-tests (coq-8.14-emacs-29.1)
1m 53s
simple-tests (coq-8.15-emacs-25.2)
1m 57s
simple-tests (coq-8.15-emacs-26.3)
2m 20s
simple-tests (coq-8.15-emacs-27.1)
2m 3s
simple-tests (coq-8.15-emacs-28.1)
1m 58s
simple-tests (coq-8.15-emacs-28.2)
1m 58s
simple-tests (coq-8.15-emacs-29.1)
1m 58s
simple-tests (coq-8.16-emacs-25.2)
2m 3s
simple-tests (coq-8.16-emacs-26.3)
2m 10s
simple-tests (coq-8.16-emacs-27.1)
2m 2s
simple-tests (coq-8.16-emacs-28.2)
2m 0s
simple-tests (coq-8.16-emacs-29.1)
2m 15s
simple-tests (coq-8.17-emacs-25.2)
2m 12s
simple-tests (coq-8.17-emacs-26.2)
2m 26s
simple-tests (coq-8.17-emacs-26.3)
2m 12s
simple-tests (coq-8.17-emacs-27.1)
2m 5s
simple-tests (coq-8.17-emacs-27.2)
1m 55s
simple-tests (coq-8.17-emacs-28.1)
2m 18s
simple-tests (coq-8.17-emacs-28.2)
2m 20s
simple-tests (coq-8.17-emacs-29.1)
2m 16s
simple-tests (coq-8.18-rc-emacs-26.3)
2m 4s
simple-tests (coq-8.18-rc-emacs-27.1)
2m 2s
simple-tests (coq-8.18-rc-emacs-27.2)
1m 59s
simple-tests (coq-8.18-rc-emacs-28.1)
2m 34s
simple-tests (coq-8.18-rc-emacs-28.2)
2m 5s
simple-tests (coq-8.18-rc-emacs-29.1)
2m 2s
test-indent (25.2)
54s
test-indent (25.3)
59s
test-indent (26.1)
1m 16s
test-indent (26.2)
50s
test-indent (26.3)
54s
test-indent (27.1)
1m 4s
test-indent (27.2)
1m 4s
test-indent (28.1)
1m 6s
test-indent (28.2)
1m 13s
test-indent (29.1)
1m 6s
test (coq-8.6-emacs-25.2)
1m 12s
test (coq-8.6-emacs-28.2)
1m 25s
test (coq-8.7-emacs-25.3)
1m 14s
test (coq-8.7-emacs-28.2)
1m 30s
test (coq-8.8-emacs-26.1)
1m 39s
test (coq-8.8-emacs-28.2)
1m 31s
test (coq-8.9-emacs-26.2)
1m 25s
test (coq-8.9-emacs-28.2)
1m 51s
test (coq-8.10-emacs-26.3)
1m 46s
test (coq-8.10-emacs-28.2)
1m 51s
test (coq-8.11-emacs-26.3)
1m 25s
test (coq-8.11-emacs-29.1)
1m 47s
test (coq-8.12-emacs-27.1)
1m 31s
test (coq-8.12-emacs-29.1)
1m 46s
test (coq-8.13-emacs-27.2)
1m 26s
test (coq-8.13-emacs-29.1)
1m 30s
test (coq-8.14-emacs-27.2)
1m 56s
test (coq-8.14-emacs-29.1)
1m 48s
test (coq-8.15-emacs-25.2)
1m 47s
test (coq-8.15-emacs-26.3)
1m 29s
test (coq-8.15-emacs-27.1)
2m 1s
test (coq-8.15-emacs-28.1)
1m 50s
test (coq-8.15-emacs-28.2)
1m 54s
test (coq-8.15-emacs-29.1)
1m 43s
test (coq-8.16-emacs-25.2)
2m 9s
test (coq-8.16-emacs-26.3)
2m 3s
test (coq-8.16-emacs-27.1)
1m 47s
test (coq-8.16-emacs-28.2)
2m 24s
test (coq-8.16-emacs-29.1)
1m 44s
test (coq-8.17-emacs-25.2)
1m 42s
test (coq-8.17-emacs-26.2)
2m 9s
test (coq-8.17-emacs-26.3)
1m 35s
test (coq-8.17-emacs-27.1)
2m 9s
test (coq-8.17-emacs-27.2)
2m 1s
test (coq-8.17-emacs-28.1)
1m 45s
test (coq-8.17-emacs-28.2)
1m 53s
test (coq-8.17-emacs-29.1)
1m 38s
test (coq-8.18-rc-emacs-26.3)
1m 49s
test (coq-8.18-rc-emacs-27.1)
1m 42s
test (coq-8.18-rc-emacs-27.2)
1m 37s
test (coq-8.18-rc-emacs-28.1)
1m 44s
test (coq-8.18-rc-emacs-28.2)
1m 56s
test (coq-8.18-rc-emacs-29.1)
1m 36s
6h 25m 37s