Merge pull request #463 from gfngfn/dev-0-1-0-add-quantifier-to-value… #306
main.yml
on: push
lint-fmt
1m 29s
lint-opam
5m 0s
Matrix: build-and-test
Annotations
1 warning
lint-fmt
.ocamlformat file is not found
|