build: output dots instead of tap in GitHub actions

This makes the output much smaller and lets us focus on errors if there
are any.

PR-URL: #32714
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: Richard Lau <riclau@uk.ibm.com>
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>

Author: targos

.github/workflows/test-linux.yml

@@ -20,4 +20,4 @@ jobs:
       - name: Build
         run: make build-ci -j2 V=1
       - name: Test
-        run: make run-ci -j2 V=1
+        run: make run-ci -j2 V=1 TEST_CI_ARGS="-p dots"

.github/workflows/test-macos.yml

@@ -20,4 +20,4 @@ jobs:
       - name: Build
         run: make build-ci -j8 V=1
       - name: Test
-        run: make run-ci -j8 V=1
+        run: make run-ci -j8 V=1 TEST_CI_ARGS="-p dots"