Skip to content

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

refactor(bv): Simplify bv2nat mapping using right shifts

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

Triggered via pull request September 8, 2025 13:57
Status Success
Total duration 5m 33s
Artifacts 1

build_static.yml

on: pull_request
Build statically linked binary with musl
3m 58s
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:c2d45142e4743ccb74c827ee2f28a29809cd3cf2ab92ae902bcf4d46d044b50c