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.2, true, true, *.opam )

succeeded Oct 29, 2024 in 2m 40s