Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Better ordering on print-report #2062

Merged
merged 3 commits into from
Mar 14, 2025

Another way to enforce dependency

2425edc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Better ordering on print-report #2062

Another way to enforce dependency
2425edc
Select commit
Loading
Failed to load commit list.
debian-sid
succeeded Mar 14, 2025 in 3h 6m 25s
Set up job
0s
Initialize containers
5s
install system dependencies
1m 7s
Run actions/checkout@v4
14s
work around broken git config
0s
container build params
0s
make deps
23m 28s
all-except-generated-and-js-of-ocaml
1h 12m 52s
generated-files
23m 58s
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
install-standalone-unified-ocaml
10s
standalone-js-of-ocaml
4m 19s
install-standalone-js-of-ocaml
10s
upload standalone files
3s
upload standalone js files
3s
upload OCaml files
51s
upload js_of_ocaml files
15s
standalone-haskell
53m 2s
upload Haskell files
54s
only-test-amd64-files-lite
3m 20s
install
17s
install-without-bedrock2
15s
install-dev
52s
display timing info
0s
display per-line timing info
2s
Post Run actions/checkout@v4
1s
Stop containers
2s
Complete job
0s