fixup! tools: avoid building twice in coverage jobs

Author: aduh95

.github/workflows/coverage-linux-without-intl.yml

@@ -72,7 +72,7 @@ jobs:
       - name: Install gcovr
         run: pip install gcovr==7.2
       - name: Configure
-        run: ./configure -v --error-on-warn --coverage --without-intl
+        run: ./configure --verbose --error-on-warn --coverage --without-intl
       # TODO(bcoe): fix the couple tests that fail with the inspector enabled.
       # The cause is most likely coverage's use of the inspector.
       - name: Build and test

.github/workflows/coverage-linux.yml

@@ -72,7 +72,7 @@ jobs:
       - name: Install gcovr
         run: pip install gcovr==7.2
       - name: Configure
-        run: ./configure -v --error-on-warn --coverage
+        run: ./configure --verbose --error-on-warn --coverage
       # TODO(bcoe): fix the couple tests that fail with the inspector enabled.
       # The cause is most likely coverage's use of the inspector.
       - name: Build and test