Perhaps the newer setup-bin works for packages now?

Author: florianschanda

.github/workflows/lint.yml

@@ -15,12 +15,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
-      - uses: supplypike/setup-bin@v3
-        with:
-          uri: 'https://github.com/cvc5/cvc5/releases/download/cvc5-1.0.8/cvc5-Linux'
-          name: 'cvc5'
-          version: '1.0.8'
+      - uses: actions/checkout@v5
       - name: Set up Python 3.13
         uses: actions/setup-python@v3
         with:

.github/workflows/test.yml

@@ -16,12 +16,12 @@ jobs:
         py-version: ["3.8", "3.9", "3.10", "3.11", "3.12", "3.13"]
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - uses: supplypike/setup-bin@v3
+      - uses: actions/checkout@v5
+      - uses: supplypike/setup-bin@v5
         with:
-          uri: 'https://github.com/cvc5/cvc5/releases/download/cvc5-1.0.8/cvc5-Linux'
+          uri: 'https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.1/cvc5-Linux-x86_64-static.zip'
           name: 'cvc5'
-          version: '1.0.8'
+          version: '1.3.1'
       - name: Set up Python ${{ matrix.py-version }}
         uses: actions/setup-python@v3
         with:

requirements.txt

@@ -1,4 +1,4 @@
-cvc5==1.3.0
-coverage
-pylint
-pycodestyle
+cvc5==1.3.1
+coverage>=7.11
+pylint>=4.0.3
+pycodestyle>=2.14