Statically link alpine binaries: -ccopt -static
#3974
Annotations
11 errors
|
The run was canceled by @JasonGross.
|
|
rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/syntactic_unify.v#L1
/Users/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/syntactic_unify.v
|
|
|
|
|
|
|
|
|
|
|
|
|
|
src/Util/GlobalSettings.v#L1
src/Util/GlobalSettings.v
|
|
src/Util/IffT.v#L1
src/Util/IffT.v
|
|
|
The logs for this run have expired and are no longer available.
Loading