Skip to content
CI

restore many examples, mainly in layered efffects, needing explicit u… #146

Sign in to view logs

restore many examples, mainly in layered efffects, needing explicit u…

restore many examples, mainly in layered efffects, needing explicit u… #146

Run time

Learn about OS pricing on GitHub Actions
Job Run time
stale-hints / check_stale_hints
7s
build / build
20m 7s
nix / fstar-nix
17m 58s
tests / check-stage3
6m 15s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
10s
tests / perf-canaries
14s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)
8m 13s
tests / test-local
17m 6s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)
8m 2s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
11m 8s
ciok
1s
1h 29m 21s