Skip to content
Github CI

decProp #74

Sign in to view logs

decProp

decProp #74

Triggered via push January 5, 2026 09:44
@TragicusTragicus
pushed 478af22
decprop
Status Failure
Total duration 42m 45s
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.