GitHub CI: do not run the tests in -v mode

It makes it harder to scroll to the errors if there are some

On the other hand, sometimes it's useful to be able to check which
tests have been found and run. Not sure what to do about that.

Author: joerivanruth

.github/workflows/testjars.yml

@@ -132,7 +132,7 @@ jobs:
 
       - name: Run tests
         run: |
-          java -cp jars/'*' JDBC_API_Tester -v jdbc:monetdb:///demo
+          java -cp jars/'*' JDBC_API_Tester jdbc:monetdb:///demo
 
 
 
@@ -198,16 +198,16 @@ jobs:
 
       - name: API Tests
         run: |
-          java -cp jars/'*' JDBC_API_Tester -v jdbc:monetdb:///testjdbc
+          java -cp jars/'*' JDBC_API_Tester jdbc:monetdb:///testjdbc
 
       - name: TLS Tests
         run: |
-          java -cp jars/'*' TLSTester -v $MONETDB_TLSTESTER
+          java -cp jars/'*' TLSTester $MONETDB_TLSTESTER
 
       - name: Run ControlTester
         run: java -cp jars/'*' ControlTester localhost monetdb
 
       - name: Slow Tests
         if: false
         run: |
-          java -cp jars/'*' SlowTester -v jdbc:monetdb:///testjdbc
+          java -cp jars/'*' SlowTester jdbc:monetdb:///testjdbc