Skip to content
rolling-release

have loop inference of havoc'ed variables consider subfields (#2651) #141

Sign in to view logs

have loop inference of havoc'ed variables consider subfields (#2651)

have loop inference of havoc'ed variables consider subfields (#2651) #141

Triggered via push July 17, 2026 20:31
@github-merge-queuegithub-merge-queue[bot]
pushed d176907
main
Status Success
Total duration 10m 11s
Artifacts 4

rolling-release.yml

on: push
Matrix: build / build
build  /  metadata
5s
build / metadata
publish
15s
publish
Fit to window
Zoom out
Zoom in

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:099a514088c6dd50249212d9532394f6d2963cf4357628a3fc75cb6a66b51bd7
verus-x86-linux
31 MB
sha256:69e382a4a944c9fae54615e5ef4faf5fe8ea6735824790c4ac7b12a688c2e20b
verus-x86-macos
26.8 MB
sha256:2a333abafba537ccbcf09f8100f828739e70233618837ad8a1e9fa73120b4df4
verus-x86-win
23.1 MB
sha256:fea363cb187bbfd5629762868cd8c7b4bd7f291d60576169806bfad06ed393a5