Skip to content
CI

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

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

Triggered via pull request January 23, 2025 04:47
@nikswamynikswamy
synchronize #3690
_nik_revise_default_include_path
Status Failure
Total duration 6m 13s
Artifacts –

ci.yml

on: pull_request
build  /  build
6m 3s
nix  /  fstar-nix
5m 28s
Matrix: tests / binary-smoke
Waiting for pending jobs
Matrix: tests / ocaml-smoke
Waiting for pending jobs
tests  /  check-stage3
tests  /  perf-canaries
tests  /  test-local
ciok
0s

Annotations

3 errors and 2 warnings
nix / fstar-nix
Process completed with exit code 1.
build / build: dummy#L1
(129) * Error 129: - File ../ulib/FStar.Tactics.Effect.fsti could not be found
build / build
Process completed with exit code 2.
nix / fstar-nix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build / build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636