Skip to content

CI Build UniMath

CI Build UniMath #25

Annotations

10 errors and 1 warning

Build largecatmodules (Coq latest)

failed Apr 1, 2024 in 1m 10s