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

simple-tests (coq-8.15-emacs-29.2)

succeeded Mar 8, 2024 in 1m 57s