vstd: remove usage of group_seq_axioms and added axioms (#2678) #143
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.4 MB |
sha256:fd9281dbf0efa6ca8212845e84509647e7b6359476b50cf61cbb4abed9b34c4d
|
|
|
verus-x86-linux
|
31 MB |
sha256:b6dd0ea6bb7781d9168e757fdc4386c38ba1cb768f5a5df60389b13bf1ec10ba
|
|
|
verus-x86-macos
|
26.8 MB |
sha256:33c477577f9e23aedfa7c70cf34c9a32b427ddcfff751c23b5a093a237b52032
|
|
|
verus-x86-win
|
23.1 MB |
sha256:22fa1a55f1792954144a5746d657172a68b59d307d6e701fcda38d2730051309
|
|