/ci/compile-tests/bin/
../
compile-test-start-delayed
coqc-delayed
coqdep-delayed