Skip to content
Back to pull request #3690

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

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 "." #188

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix / fstar-nix
18m 32s
build / build
20m 17s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
10s
tests / check-stage3
6m 28s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)
8m 2s
tests / perf-canaries
22s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)
8m 4s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
8m 16s
tests / test-local
12m 42s
ciok
0s
1h 22m 53s