Skip to content

Statically link alpine binaries: -ccopt -static (#1718) #96

Statically link alpine binaries: -ccopt -static (#1718)

Statically link alpine binaries: -ccopt -static (#1718) #96

Triggered via push November 13, 2023 18:35
Status Success
Total duration 8h 32m 49s
Artifacts 3

coq-alpine.yml

on: push
Matrix: build
Matrix: test-standalone
publish-standalone
8s
publish-standalone
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-edge Expired
1.9 GB
ExtractionOCaml-edge Expired
2.03 GB
standalone-edge Expired
33.9 MB