Skip to content

Update GitHub Actions with Dependabot #787

Update GitHub Actions with Dependabot

Update GitHub Actions with Dependabot #787

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

succeeded Apr 30, 2024 in 1m 54s