From 59e6b0b4aca1d6c65bfa59555cd296e921c8b5c8 Mon Sep 17 00:00:00 2001 From: alazzaro Date: Thu, 27 Jun 2024 06:59:32 -0500 Subject: [PATCH] Switch off Daint CI --- .ci/daint.cscs.ch/{Jenkinsfile => Jenkinsfile.off} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .ci/daint.cscs.ch/{Jenkinsfile => Jenkinsfile.off} (100%) 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