Skip to content
Back to pull request #2054

Fix filling of files from url #1004

Sign in to view logs

Fix filling of files from url

Fix filling of files from url #1004

alpine-edge

alpine-edge
succeeded Mar 12, 2025 in 3h 8m 27s
Set up job
1s
Run actions/checkout@v4
8s
Run jirutka/setup-alpine@v1
16s
host build params
7s
chroot build params
2s
etc/ci/github-actions-make.sh deps
23m 20s
all-except-generated-and-js-of-ocaml
1h 18m 9s
install-standalone-unified-ocaml
11s
upload standalone files
1s
upload OCaml files
44s
generated-files
25m 3s
Run tar -czvf generated-files.tgz fiat-*/
0s
upload generated files
0s
Run find . -name "*.timing" | xargs tar -czvf timing-files.tgz
0s
upload generated timing files
0s
standalone-haskell
54m 49s
upload Haskell files
50s
only-test-amd64-files-lite
3m 28s
install
13s
install-without-bedrock2
10s
install-dev
48s
display timing info
0s
display per-line timing info
3s
Post Run jirutka/setup-alpine@v1
1s
Post Run actions/checkout@v4
1s
Complete job
0s