diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 218bd7806b..d739effaba 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -42,6 +42,7 @@ ghc-linters: .gitlab/linters/check-makefiles.py $base $CI_COMMIT_SHA .gitlab/linters/check-cpp.py $base $CI_COMMIT_SHA fi + dependencies: [] tags: - lint @@ -98,6 +99,7 @@ validate-x86_64-linux-deb8-hadrian: - | THREADS=`mk/detect-cpu-count.sh` make $TEST_TYPE THREADS=$THREADS JUNIT_FILE=../../junit.xml + dependencies: [] artifacts: reports: junit: junit.xml @@ -317,6 +319,7 @@ validate-x86_64-linux-deb9-unreg: - rd /s /q tmp - robocopy /np /nfl /ndl /e "%APPDATA%\cabal" cabal-cache - bash -c 'make clean || true' + dependencies: [] cache: paths: - cabal-cache @@ -394,6 +397,7 @@ cleanup-windows: tags: - x86_64-windows when: always + dependencies: [] before_script: - echo "Time to clean up" script: |