Skip to content
CI

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

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

tests  /  binary-smoke (fstar.tar.gz, ubuntu-24.04)

tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
succeeded Jan 20, 2025 in 9s