Skip to content

Merge pull request #1035 from shonfeder/1034/dune-2 #891

Merge pull request #1035 from shonfeder/1034/dune-2

Merge pull request #1035 from shonfeder/1034/dune-2 #891

build-and-test (ubuntu-latest, 5.1, false, true, *.opam )

succeeded Oct 29, 2024 in 2m 38s