You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy the v0.5 release's versions.env into build/toolchain.lock: bumps
TOOLCHAIN_VERSION 0.3 -> 0.5 and pins veristat + the static qemu (with
checksums), so `make veristat` resolves the vendored veristat and
`make veristat-matrix` / the CI workflow fetch the static qemu, all
checksum-verified against the release.
Verified the published v0.5 qemu-{x86_64,aarch64}.tar.gz and veristat
binaries match these pinned checksums.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
0 commit comments