Skip to content
Build statically linked binaries

fix(FPA): Do not look for particular substitution in theories #185

Sign in to view logs

fix(FPA): Do not look for particular substitution in theories

fix(FPA): Do not look for particular substitution in theories #185

Triggered via pull request May 13, 2024 12:58
@bclement-ocpbclement-ocp
opened #1122
bclement-ocp:fix-1111-2.5.x
Status Success
Total duration 4m 42s
Artifacts 1

build_static.yml

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