Add impl, is/isnt, and deref support to exec_spec (#2576) #114
github-merge-queue[bot]Annotations
1 warning
|
publish
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: verus-lang/action-update-release@v0.2. 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
|
25.2 MB |
sha256:83a2a4890430752660c06dba9cb71b589334112913880eafd8e773d0d86dbd6c
|
|
|
verus-x86-linux
|
30.7 MB |
sha256:a785e3d4eac4701ec0ab21fa6f4f89b8000876a450481ac6f133e41b12fe043e
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:368c7b7cf2936f414ad75e1086eda60796eda0616d1a9d7f934522a03bcbdb26
|
|
|
verus-x86-win
|
22.8 MB |
sha256:e887ba9d09ad557748e7ad38dff97fd095656d2b4825c4bfe29e971e40b2817b
|
|