Support per-file _CoqProject #1363
ci.yml
on: pull_request
Matrix: build-extension
Matrix: dev-setup-opam
Matrix: install-opam
Matrix: nix-dev-build
install-windows
0s
publish-extension
1m 7s
create-release
0s
Annotations
36 errors and 21 warnings