Add the syntax for quantifiers to value bindings #303
Triggered via pull request
September 16, 2024 02:57
gfngfn
Status
Success
Total duration
8m 41s
Artifacts
–
main.yml
on: pull_request
lint-fmt
1m 30s
lint-opam
5m 2s
Matrix: build-and-test
Annotations
1 warning
|
lint-fmt
.ocamlformat file is not found
|