Remove the remove

scipopt · Nov 13, 2023 · d505521 · d505521
1 parent 54e8ef1
commit d505521
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/pyproject.toml b/pyproject.toml
@@ -28,7 +28,6 @@ before-all = [
     "wget https://github.com/mmghannam/scip/releases/download/v8.0.3/libscip-windows.zip -O scip.zip",
     "\"C:\\Program Files\\7-Zip\\7z.exe\" x \"scip.zip\" -o\"scip\"",
     "mv .\\scip\\scip_install .\\test",
-    "rm .\\scip",
     "mv .\\test .\\scip"
 ]
 environment = { SCIPOPTDIR="$(pwd)\\scip"}