Skip to content

(hot)fix: deal with git.<hash>=main issues

Wouter Deconinck requested to merge git-hash-main into master

This PR deals with two issues:

  • /opt/detector/epic-git.fcf90937193c983c0af2acf1251e01f2e2c3a259_main is not /opt/detector/epic-main -> symlink

Closes: EIC/benchmarks/common_bench!86 (merged)

Edited by Wouter Deconinck

Merge request reports