Skip to content

switch opam ci to docker #1968

switch opam ci to docker

switch opam ci to docker #1968

Annotations

1 warning

build (8.20.0, 4.14.x)

succeeded Dec 13, 2024 in 11m 19s