Skip to content

Merge pull request #947 from coq/dependabot/npm_and_yarn/client/cross… #1397

Merge pull request #947 from coq/dependabot/npm_and_yarn/client/cross…

Merge pull request #947 from coq/dependabot/npm_and_yarn/client/cross… #1397

Annotations

11 warnings

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

succeeded Dec 4, 2024 in 8m 28s