limit CI output lines with QCHECK_MSG_INTERVAL

Author: jmid

.github/workflows/main.yml

@@ -20,6 +20,9 @@ jobs:
 
     runs-on: ${{ matrix.os }}
 
+    env:
+      QCHECK_MSG_INTERVAL: '60'
+
     steps:
       - name: Checkout code
         uses: actions/checkout@v2
@@ -45,4 +48,4 @@ jobs:
 
       - run: opam exec -- make all
 
-      - run: opam exec -- make run_test
+      - run: opam exec -- make run_test