Skip to content

opam: Fix pin URL for sherlodoc #612

opam: Fix pin URL for sherlodoc

opam: Fix pin URL for sherlodoc #612

Annotations

2 warnings

build (ubuntu-latest, 4.04.x)

succeeded Oct 1, 2024 in 5m 59s