Remove unused CI scripts (#301)

JuliaSmoothOptimizers · Sep 6, 2024 · 41a615f · 41a615f
1 parent 75a15fa
commit 41a615f
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 138 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
diff --git a/push_benchmarks.sh b/push_benchmarks.sh