Skip to content

Update GitHub Actions with Dependabot #787

Update GitHub Actions with Dependabot

Update GitHub Actions with Dependabot #787

Annotations

1 warning

build-and-test (windows-latest, 4.14, false, true, *.opam )

succeeded Apr 30, 2024 in 6m 18s