Add the syntax for quantifiers to value bindings #288
Triggered via pull request
September 15, 2024 21:50
gfngfn
Status
Failure
Total duration
6m 21s
Artifacts
–
main.yml
on: pull_request
lint-fmt
1m 20s
lint-opam
5m 15s
Matrix: build-and-test
Annotations
2 errors and 1 warning
|
build-and-test (ubuntu-latest, 4)
Process completed with exit code 2.
|
|
build-and-test (macos-latest, 4)
Process completed with exit code 2.
|
|
lint-fmt
.ocamlformat file is not found
|