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.16-emacs-29.2)

succeeded Mar 8, 2024 in 4m 41s