Skip to content

CI Build UniMath

CI Build UniMath #23

Annotations

1 warning

Build on macOS (Coq 8.16)

succeeded Mar 18, 2024 in 3m 0s