Merge branch 'revert-81323594' into 'master'

Revert "Merge branch 'docker' into 'master'" See merge request integer/scip!3237
scipopt · Nov 11, 2023 · 09a666c · 09a666c
2 parents 8132359 + 9808b74
commit 09a666c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 70 deletions.
diff --git a/.github/workflows/build_and_push_docker.yml b/.github/workflows/build_and_push_docker.yml
diff --git a/Dockerfile b/Dockerfile