Details
-
Bug
-
Resolution: Fixed
-
P3: Somewhat important
-
None
-
dev
-
None
-
58acc0dc1 (dev)
Description
This was discovered during review. It should do so, to ensure everything works.
It needs to check these binaries:
- git
- cmake
- prep_bench
- unprep_bench
The last two are installed by the makefile in the runner directory.