Skip to content
Build statically linked binaries

feat(BV): Interval domains for bit-vectors #13

Sign in to view logs

feat(BV): Interval domains for bit-vectors

feat(BV): Interval domains for bit-vectors #13

Triggered via pull request March 26, 2024 12:53
@bclement-ocpbclement-ocp
synchronize #1058
bclement-ocp:constraints3
Status Success
Total duration 5m 6s
Artifacts 1

build_static.yml

on: pull_request
Build statically linked binary with musl
4m 56s
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
alt-ergo-x86_64-linux-musl Expired
8.66 MB