Skip to content
Back to pull request #104

Redirect /opam to coq.github.io/opam #220

Sign in to view logs

Redirect /opam to coq.github.io/opam

Redirect /opam to coq.github.io/opam #220

Annotations

1 warning

Build and test (macos-latest, 5.2.0)

Build and test (macos-latest, 5.2.0)
succeeded Mar 11, 2025 in 9m 6s