Skip to content

Add the syntax for quantifiers to value bindings #290

Add the syntax for quantifiers to value bindings

Add the syntax for quantifiers to value bindings #290

Triggered via pull request September 15, 2024 22:09
Status Failure
Total duration 6m 15s
Artifacts

main.yml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

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