Move cvc5 binary to /usr/local/bin

Author: NlightNFotis

.github/workflows/pull-request-checks.yaml

@@ -26,8 +26,7 @@ jobs:
         run: |
           wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
           chmod u+x cvc5
-          mv cvc5 $HOME/.local/bin
-          echo "$HOME/local/bin" >> $GITHUB_PATH
+          mv cvc5 /usr/local/bin
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v2