Merge pull request #28 from STEllAR-GROUP/remove-jenkins

Remove jenkins configurations
STEllAR-GROUP · Dec 19, 2024 · 4625a67 · 4625a67
2 parents 8d8225a + 99c702a
commit 4625a67
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