Skip to content

Merge pull request #1010 from ocsigen/do-not-use-depext-subcmd #771

Merge pull request #1010 from ocsigen/do-not-use-depext-subcmd

Merge pull request #1010 from ocsigen/do-not-use-depext-subcmd #771

build-and-test (ubuntu-latest, 4.08.x, true, false, *.opam !lwt_ppx.opam )

succeeded Apr 15, 2024 in 1m 55s