Skip to content
CI

Merge pull request #3670 from mtzguido/checkfriends #108

Sign in to view logs

Merge pull request #3670 from mtzguido/checkfriends

Merge pull request #3670 from mtzguido/checkfriends #108

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix / fstar-nix
18m 28s
stale-hints / check_stale_hints
9s
build / build
19m 27s
tests / check-stage3
6m 5s
tests / test-local
15m 29s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
16s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)
7m 44s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)
7m 47s
tests / perf-canaries
22s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
8m 6s
ciok
1s
1h 23m 54s