Skip to content

bugfix: use the correct pattern type when erasing pure spec expressio… #39

bugfix: use the correct pattern type when erasing pure spec expressio…

bugfix: use the correct pattern type when erasing pure spec expressio… #39

Triggered via push May 27, 2026 23:52
Status Success
Total duration 27m 14s
Artifacts 4
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
publish
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: verus-lang/action-update-release@v0.2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. 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
verus-arm64-macos Expired
24.7 MB
sha256:cd3bda70535ca232be4ddb78aa7bfac366dc6317c5fce7bc6f74a2a7c4ddd6f1
verus-x86-linux Expired
30.3 MB
sha256:bc145d0c134375dd9daf99d318905725795930db3d68f2a5c8255052ff67cba3
verus-x86-macos Expired
26.1 MB
sha256:d1d493dcc8c0b1d2b925d19a5078b943b95761c312cef8f2b7f7a4dd3221e676
verus-x86-win Expired
22.3 MB
sha256:2fd2d332afa228fead6acd83ad5cab9783862e9eb08cb2f4d7f942cbccfefa8a