Commit b30ac599 authored by Jan Kiene's avatar Jan Kiene
Browse files

correct path to instrumentation dir

parent c5bca976

.gitlab-ci.yml

+1 −1
Original line number Diff line number Diff line
@@ -21,7 +21,7 @@ variables: 
  TESTCASE_TIMEOUT_STV_SANITIZERS: 1800

  GIT_CLEAN_FLAGS: -ffdxq

  BUILD_INSTRUMENTED: ""

  INSTR_DIR: "c-code_instrument"

  INSTR_DIR: "scripts/c-code_instrument"

  MANUAL_PIPELINE_TYPE:

    description: "Type for the manual pipeline run. Use 'pytest-mld' to run MLD test against reference float codec." # Not implemented yet, but may be good to have a manual pipeline trigger

    value: 'default'