Skip to content

CI: test 8.19.1 instead of 8.19.0 #592

CI: test 8.19.1 instead of 8.19.0

CI: test 8.19.1 instead of 8.19.0 #592

Annotations

2 warnings

compile-tests (coq-8.19-emacs-29.2)

succeeded Mar 8, 2024 in 4m 52s