Skip to content
Build statically linked binaries

feat(BV, CP): Add propagators for bvshl and bvlshr #33

Sign in to view logs

feat(BV, CP): Add propagators for bvshl and bvlshr

feat(BV, CP): Add propagators for bvshl and bvlshr #33

Triggered via pull request March 29, 2024 17:33
@bclement-ocpbclement-ocp
opened #1085
bclement-ocp:bvarith-shift
Status Success
Total duration 7m 25s
Artifacts 1

build_static.yml

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