Skip to content
Package coq-robust-predicates

Merge pull request #310 from grootstebozewolf/claude/next-rung-mtdp90 #23

Sign in to view logs

Merge pull request #310 from grootstebozewolf/claude/next-rung-mtdp90

Merge pull request #310 from grootstebozewolf/claude/next-rung-mtdp90 #23

Triggered via push July 1, 2026 08:13
@grootstebozewolfgrootstebozewolf
pushed 4789617
main
Status Success
Total duration 5m 35s
Artifacts 1

package-robust-predicates.yml

on: push
Assemble, build, lint, install
5m 32s
Assemble, build, lint, install
Build tarball and publish on release
0s
Build tarball and publish on release
Fit to window
Zoom out
Zoom in

Annotations

1 warning
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/build-push-action@v6, docker/login-action@v3, docker/setup-buildx-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
grootstebozewolf~NetTopologySuite.Proofs~CUDWO4.dockerbuild
47.7 KB
sha256:c1afe0a816c92c5e6608daadb359cc9e76c7ff4bd92c8318459ad01dc80594c4