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, 5.0.0)

succeeded Mar 28, 2024 in 2m 14s