Switch back to merge main repository

2021-03-22 11:01:38 +11:00 · 2021-03-22 11:01:38 +11:00 · f271ff963b
commit f271ff963b
parent d8b9bf2b39
1 changed files with 1 additions and 1 deletions
--- a/bench_env.sh
+++ b/bench_env.sh
@ -9,7 +9,7 @@ if [ -d venv ]; then
 else
    python3 -m venv venv
    source venv/bin/activate
-    python3 -m pip install git+https://github.com/Dekker1/mzn-bench.git@fix/env_size
+    python3 -m pip install git+https://github.com/MiniZinc/mzn-bench.git
 fi

 # Set other environment variables and load cluster modules