Exclude tests that need to run cpachecker

Author: karoliineh

.github/workflows/build.yml

@@ -26,7 +26,7 @@ jobs:
           # cache: npm # TODO: requires package-lock.json
 
       - name: Build with Maven
-        run: mvn install
+        run: mvn install -Dtest='**/*Test,!witnesses/InvariantToCodeLensesTest,!witnesses/InvariantVariableTypeTest'
 
       - name: Build with NPM
         working-directory: ./vscode