Package rocq-robust-geometric-predicates #14
Triggered via release
June 27, 2026 10:19
grootstebozewolf
grootstebozewolf
published
9b32d32
Status
Success
Total duration
5m 29s
Artifacts
–
package-robust-predicates.yml
on: release
Assemble, build, lint, install
2m 13s
Build tarball and publish on release
3m 9s
Annotations
3 warnings
|
Assemble, build, lint, install
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/login-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Build tarball and publish on release
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/login-action@v3, softprops/action-gh-release@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Build tarball and publish on release
opam publish did not complete; the release tarball is attached. Submit manually: OPAM_PUBLISH_GH_TOKEN=<token> opam publish --repo=coq/opam https://github.com/grootstebozewolf/NetTopologySuite.Proofs/releases/download/robust-predicates-v0.1.1/coq-robust-predicates.tar.gz packaging/rocq-robust-predicates/coq-robust-predicates.opam
|