vstd: finish proving lemmas for Seq (#2669)
#142
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:2c5156bbed8c26506585ee265a17c4ddd8885773ebd5b94716562a64c58ad276
|
|
|
verus-x86-linux
|
31 MB |
sha256:4945696412760e5c14b9667eb5fea15e4fb635940320590b1c0e3e03ad4f944a
|
|
|
verus-x86-macos
|
26.8 MB |
sha256:96b9e5edd456461f5831f358a68f92605505fdc8a49521398937a26c4fa99688
|
|
|
verus-x86-win
|
23.1 MB |
sha256:a7c7a2f5fca91d524d51d90aa1055fb55cf7445a4e9cbcb83c1a3cd0bbdab8ee
|
|