Merge pull request #947 from coq/dependabot/npm_and_yarn/client/cross… #1397
ci.yml
on: push
Matrix: build-extension
Matrix: dev-setup-opam
Matrix: install-opam
Matrix: nix-dev-build
install-windows
0s
publish-extension
1m 8s
create-release
5s
Annotations
77 warnings