Skip to content

Bump the minimal version of Dune to 3.0 #31

Bump the minimal version of Dune to 3.0

Bump the minimal version of Dune to 3.0 #31

build (ubuntu-latest, 4.08.1)

succeeded Mar 28, 2024 in 2m 6s