Refactoring Adt_rel
using domains on class representatives only
#45
build_static.yml
on: pull_request
Build statically linked binary with musl
5m 23s
Matrix: Build statically linked macOS binaries
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
alt-ergo-x86_64-linux-musl
Expired
|
8.6 MB |
|