Skip to content
Back to pull request #3411

Improvements to --dep graph #128

Sign in to view logs

Improvements to --dep graph

Improvements to --dep graph #128

Run time

Learn about OS pricing on GitHub Actions
Job Run time
stale-hints / check_stale_hints
7s
build / build
19m 35s
nix / fstar-nix
18m 16s
tests / test-local
15m 53s
tests / check-stage3
6m 10s
tests / perf-canaries
16s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
11s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)
8m 7s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)
7m 39s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
7m 47s
ciok
1s
1h 24m 2s