Skip to content
Github CI

decProp #75

Sign in to view logs

decProp

decProp #75

Triggered via push January 8, 2026 14:57
@TragicusTragicus
pushed 76adb92
decprop
Status Failure
Total duration 31m 52s
Artifacts –

ci-github.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Linux (latest OCaml)
Process completed with exit code 2.
macOS
Process completed with exit code 2.
Windows
Process completed with exit code 1.