removed jenkins related scripts as we don't build there anymore [skip…

… ci]
theseion · May 18, 2021 · 52d7746 · 52d7746
1 parent f343b07
commit 52d7746
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 200 deletions.
diff --git a/scripts/jenkins-serialize-all.sh b/scripts/jenkins-serialize-all.sh
diff --git a/scripts/jenkins.sh b/scripts/jenkins.sh
diff --git a/scripts/trigger-builds.sh b/scripts/trigger-builds.sh