Merge pull request #904 from Durbatuluk1701/button-toggle-option #1298
ci.yml
on: push
Matrix: build-extension
Matrix: dev-setup-opam
Matrix: install-opam
Matrix: nix-dev-build
install-windows
0s
publish-extension
1m 10s
create-release
6s
Annotations
83 warnings