Update install.sh

some bug fixes and max_time support
cavalab · Aug 10, 2024 · 79def8a · 79def8a
1 parent 1764629
commit 79def8a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/algorithms/tir/install.sh b/algorithms/tir/install.sh
@@ -9,6 +9,7 @@ fi
 git clone /~https://github.com/folivetti/tir.git
 
 cd tir
+git checkout 959a315bd6a819d66536d8f91f0ff19cf00d8908
 
 # WGL NOTE: this is a temp fix until PR /~https://github.com/folivetti/ITEA/pull/12 is merged
 # install ghcup