Skip to content

ci(release): pin portable ISA baseline for bundled z3 (fix SIGILL on … #23

ci(release): pin portable ISA baseline for bundled z3 (fix SIGILL on …

ci(release): pin portable ISA baseline for bundled z3 (fix SIGILL on … #23

Triggered via push June 24, 2026 05:11
Status Success
Total duration 1h 1m 1s
Artifacts 3
Matrix: build-linux
Build macOS aarch64
24m 50s
Build macOS aarch64
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Build macOS aarch64
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4, mlugg/setup-zig@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build macOS aarch64
The following taps are not trusted: aws/tap azure/bicep Homebrew will ignore formulae, casks and commands from these taps when `HOMEBREW_REQUIRE_TAP_TRUST` is set. This will become the default in Homebrew 6.0.0 or 5.2.0, whichever comes first. Enable trust checks now with: export HOMEBREW_REQUIRE_TAP_TRUST=1 Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep To keep allowing them by default during the transition: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Build Linux arm64
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4, mlugg/setup-zig@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build Linux amd64
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4, mlugg/setup-zig@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Release
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4, softprops/action-gh-release@v2. 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
linux-amd64
45.6 MB
sha256:ea93c1f61fcefa23e1f3663e4dd7a090c845c495880773b4d3af67dcd7c8464c
linux-arm64
42.5 MB
sha256:18d3557f93c7c9322d12fa9d80618a1d48f8bfbc9808f122482fbfa634bc86fe
macos-aarch64
34.1 MB
sha256:2f3cdffb316187bf540a01ce2119debc92c2838bc82684304fa6fd7ac7b6b6d0