• Robert Schmidt's avatar
    CI: harmonize pull/clean with flexric hack · 7bf706bc
    Robert Schmidt authored
    If we are pulling FlexRIC, overwrite the tag to use with what has been
    provided on the command line. This is because we hardcode the tag schema
    "branchname-commitId[0:8]" everywhere else, but this does not apply for
    FlexRIC, and we have to overwrite this here.
    7bf706bc
main.py 27.4 KB