Skip to content
CI

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build / build
20m 10s
nix / fstar-nix
18m 26s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
10s
tests / check-stage3
6m 14s
tests / test-local
13m 0s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)
7m 48s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)
7m 51s
tests / perf-canaries
14s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
7m 47s
ciok
0s
1h 21m 40s