Skip to content

feat(BV): Support binary distinct on arbitrary bit-widths #658

feat(BV): Support binary distinct on arbitrary bit-widths

feat(BV): Support binary distinct on arbitrary bit-widths #658

Triggered via pull request August 28, 2024 09:56
Status Success
Total duration 21m 16s
Artifacts 1

build_static.yml

on: pull_request
Build statically linked binary with musl
4m 43s
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.71 MB