Skip to content

Merge pull request #980 from coq/fix-cd-pipeline #1473

Merge pull request #980 from coq/fix-cd-pipeline

Merge pull request #980 from coq/fix-cd-pipeline #1473

Annotations

11 warnings

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

succeeded Jan 15, 2025 in 8m 46s