Skip to content

Support per-file _CoqProject #1359

Support per-file _CoqProject

Support per-file _CoqProject #1359

Annotations

2 errors and 1 warning

nix-dev-build (macos-latest, coq-8-18, dev)

failed Nov 12, 2024 in 12m 18s