diff --git a/ci-scripts/ci-runner.bash b/ci-scripts/ci-runner.bash index b2e4af0436..76cfc415b5 100644 --- a/ci-scripts/ci-runner.bash +++ b/ci-scripts/ci-runner.bash @@ -193,13 +193,6 @@ else export PATH=$PATH_save fi - - # FIXME: Do not run modified checks on Daint during the PE upgrade - if [[ $(hostname) =~ daint ]]; then - exit $CI_EXITCODE - fi - - # Find modified or added user checks userchecks=( $(git diff origin/master...HEAD --name-only --oneline --no-merges | \ grep -e '^cscs-checks/.*\.py') )