Skip to content
CI

Allow use_hints even when context_pruning is set #212

Sign in to view logs

Allow use_hints even when context_pruning is set

Allow use_hints even when context_pruning is set #212

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build / build
19m 40s
nix / fstar-nix
18m 25s
tests / check-stage3
6m 18s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
9s
tests / perf-canaries
14s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)
7m 45s
tests / test-local
15m 36s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)
7m 41s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
7m 50s
ciok
1s
1h 23m 39s