Better is_enum_constr test in Adt_rel (#1255)
#742
Halbarothbuild_static.yml
on: push
Build statically linked binary with musl
4m 19s
Matrix: Build statically linked macOS binaries
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
alt-ergo-x86_64-linux-musl
Expired
|
8.24 MB |
|