Update fzn2lp to version 0.1.5

potassco · May 21, 2024 · 84cecfc · 84cecfc
1 parent d2b8d7d
commit 84cecfc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci-test.yml b/.github/workflows/ci-test.yml
@@ -35,7 +35,7 @@ jobs:
 
     - name: Install fzn2lp
       run: |
-        wget https://github.com/potassco/fzn2lp/releases/download/v0.1.4/fzn2lp-linux-x86_64.tar.gz
+        wget https://github.com/potassco/fzn2lp/releases/download/v0.1.5/fzn2lp-linux-x86_64.tar.gz
         tar -xvf fzn2lp-linux-x86_64.tar.gz
         echo "$(pwd)" >> $GITHUB_PATH
     - name: Test fzn2lp

diff --git a/Dockerfile_Flatzingo b/Dockerfile_Flatzingo
@@ -27,7 +27,7 @@ RUN curl https://sh.rustup.rs | bash -s -- -y
 ENV PATH="/root/.cargo/bin:${PATH}"
 RUN git clone https://github.com/potassco/fzn2lp.git && \
     cd fzn2lp && \
-    git checkout v0.1.4 && \
+    git checkout v0.1.5 && \
     cargo build --release && \
     mkdir -p /install/bin && \
     cp target/release/fzn2lp /install/bin/