Skip to content
Github CI

backports from mathcomp #78

Sign in to view logs

backports from mathcomp

backports from mathcomp #78

Triggered via push February 6, 2026 14:00
@TragicusTragicus
pushed 4de6881
decprop
Status Failure
Total duration 35m 31s
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.