Less spammy install

Author: florianschanda

.github/workflows/test.yml

@@ -19,7 +19,7 @@ jobs:
       - uses: actions/checkout@v5
       - name: Install CVC5
         run: |
-          wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.1/cvc5-Linux-x86_64-static.zip
+          wget -q https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.1/cvc5-Linux-x86_64-static.zip
           unzip cvc5-Linux-x86_64-static.zip
           sudo cp cvc5-Linux-x86_64-static/bin/cvc5 /usr/local/bin
       - name: Set up Python ${{ matrix.py-version }}