Remove jenkins configurations

STEllAR-GROUP · Dec 19, 2024 · 99c702a · 99c702a
1 parent 8d8225a
commit 99c702a
Show file tree

Hide file tree

Showing 11 changed files with 0 additions and 887 deletions.
diff --git a/.jenkins/common/set_github_status.sh b/.jenkins/common/set_github_status.sh
diff --git a/.jenkins/cscs/Jenkinsfile b/.jenkins/cscs/Jenkinsfile
diff --git a/.jenkins/cscs/batch.sh b/.jenkins/cscs/batch.sh