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.12.x)

succeeded Oct 1, 2024 in 3m 59s