Skip to content

CI Build UniMath

CI Build UniMath #25

Annotations

1 warning

Build on macOS (Coq 8.16)

succeeded Apr 1, 2024 in 3m 18s