Fix tar rules for hw-devtools

simple-crypto · Oct 2, 2024 · 9d34140 · 9d34140
1 parent 4018f5a
commit 9d34140
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -66,8 +66,8 @@ jobs:
       - run: mkdir verif-tools
       - run: wget https://github.com/cassiersg/matchi/releases/download/v0.1.0/matchi -P ./verif-tools
       - run: chmod +x ${{ github.workspace }}/verif-tools/matchi
-      - run: (cd verif-tools; curl -L https://github.com/cassiersg/matchi/archive/refs/tags/v0.1.0.tar.gz | tar zxf)
-      - run: (curl -L https://github.com/simple-crypto/hw-devtools/releases/download/v241002/hw-devtools.tar.gz | tar xz; sudo apt install ./hw-devtools/*.deb)
+      - run: (cd verif-tools; curl -L https://github.com/cassiersg/matchi/archive/refs/tags/v0.1.0.tar.gz | tar xz)
+      - run: (curl -L https://github.com/simple-crypto/hw-devtools/releases/download/v241002-1/hw-devtools.tar.gz | tar xz; sudo apt install ./hw-devtools/*.deb)
       - run: make formal-tests MATCHI_CELLS=${{ github.workspace }}/verif-tools/matchi-0.1.0/matchi_cells MATCHI_BIN=${{ github.workspace }}/verif-tools/matchi