diff --git a/.ci/daint.cscs.ch/Jenkinsfile b/.ci/daint.cscs.ch/Jenkinsfile.off
similarity index 100%
rename from .ci/daint.cscs.ch/Jenkinsfile
rename to .ci/daint.cscs.ch/Jenkinsfile.off