Skip to content

GHA: Make sure opam init works in the absence of OPAMROOT #4039

GHA: Make sure opam init works in the absence of OPAMROOT

GHA: Make sure opam init works in the absence of OPAMROOT #4039

Annotations

1 warning

Solvers-Linux (z3, 5.3.0)

succeeded Jan 27, 2025 in 57s