make_spec_type: support tuple/unit structs and add a closed option (#… #131
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:39c41bbb420f26702ad34e887fcbb2ab6d3acf19d63dc8bac5ed30da9486723d
|
|
|
verus-x86-linux
|
30.8 MB |
sha256:c52e8216f05f50a69c52b50860e6f52267c1fdb32fb793d2ccf58a40c7d01c13
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:6810fca813c02c7e3effe2c68f91140a33669d5eb91fb25179ca212cbeb6f8e6
|
|
|
verus-x86-win
|
22.9 MB |
sha256:e8517e71e33721eb17961307c5200cf34233ce36d8eb9627a8dd86d14fb7c30d
|
|