Skip to content
CI

Use the directory of any file on the command line in the include path rather than "." #183

Sign in to view logs

Use the directory of any file on the command line in the include path rather than "."

Use the directory of any file on the command line in the include path rather than "." #183

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build / build
20m 47s
nix / fstar-nix
18m 19s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
11s
tests / test-local
16m 9s
tests / check-stage3
6m 27s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)
8m 11s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)
8m 4s
tests / perf-canaries
14s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
8m 5s
ciok
1s
1h 26m 28s