Adapt to Coq PR #19301: unify the syntax of definition and theorem #1328
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 9s
create-release
0s
Annotations
10 errors and 72 warnings