Skip to content

CI: test 8.19.1 instead of 8.19.0 #591

CI: test 8.19.1 instead of 8.19.0

CI: test 8.19.1 instead of 8.19.0 #591

Annotations

2 warnings

simple-tests (coq-8.19-emacs-27.2)

succeeded Mar 7, 2024 in 2m 1s