feat(CDCL-Tableaux): Do not make irrelevant decisions (#1041) #84
bclement-ocpbuild_static.yml
on: push
Build statically linked binary with musl
4m 42s
Matrix: Build statically linked macOS binaries
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
alt-ergo-x86_64-linux-musl
Expired
|
8.53 MB |
|