Skip to content

refactor(bv): Simplify bv2nat mapping using right shifts #915

refactor(bv): Simplify bv2nat mapping using right shifts

refactor(bv): Simplify bv2nat mapping using right shifts #915

Triggered via pull request September 4, 2025 07:35
Status Success
Total duration 4m 9s
Artifacts 1

build_static.yml

on: pull_request
Build statically linked binary with musl
4m 5s
Build statically linked binary with musl
Matrix: Build statically linked macOS binaries
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
alt-ergo-x86_64-linux-musl Expired
8.07 MB
sha256:450a52504d813fb6a1bb4fbe76593dca9d2e25314e6345a3f1c63e1c6595ed4f