Skip to content

Merge pull request #968 from coq/cd-handle-prerelease #1469

Merge pull request #968 from coq/cd-handle-prerelease

Merge pull request #968 from coq/cd-handle-prerelease #1469

Annotations

11 warnings

dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)

succeeded Jan 14, 2025 in 8m 55s