use supplypike/setup-bin@v4

a16z · Jun 26, 2024 · 992e280 · 992e280
1 parent 3b74ca3
commit 992e280
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -86,12 +86,9 @@ jobs:
         run: python -m pip install vyper
 
       - name: Install Yices 2 SMT solver
-        uses: jaxxstorm/[email protected]
+        uses: supplypike/setup-bin@v4
         with:
-          repo: SRI-CSL/yices2
-          tag: Yices-2.6.4
-          platform: linux
-          arch: x86_64
+          uri: 'https://github.com/SRI-CSL/yices2/releases/download/Yices-2.6.4/yices-2.6.4-x86_64-pc-linux-gnu.tar.gz'
 
       - name: Test external repo
         run: ${{ matrix.project.cmd }} --statistics --solver-timeout-assertion 0 --solver-threads 4 --solver-command yices-smt2 ${{ matrix.cache-solver }} ${{ inputs.halmos-options }}