GutHub action speedup.

Author: hrumhurum

.github/workflows/tested-build.yml

@@ -19,6 +19,10 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      # Avoid wasting type on updating man pages which are not used anyway
+      - run: sudo rm -f /var/lib/man-db/auto-update
+        if: runner.os == 'Linux'
+
       - name: Setup prerequisites
         uses: ./.github/actions/setup-prerequisites
 
@@ -90,6 +94,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      # Avoid wasting type on updating man pages which are not used anyway
+      - run: sudo rm -f /var/lib/man-db/auto-update
+
       - name: Setup prerequisites
         uses: ./.github/actions/setup-prerequisites