Skip to content

Merge pull request #1020 from coq/parse_vos #1518

Merge pull request #1020 from coq/parse_vos

Merge pull request #1020 from coq/parse_vos #1518

Annotations

10 warnings

install-opam (ubuntu-latest, 4.14.x, 8.20.0)

succeeded Jan 30, 2025 in 8m 15s