Speed up build by tuning apt and dpkg

From
f67a22c
by @norwd and @abbbi

Author: entorb

.github/workflows/check-and-ebook.yml

@@ -100,6 +100,9 @@ jobs:
           pwd
           ls -l
 
+      - name: Speed up apt-get steps
+        uses: abbbi/github-actions-tune@v1
+
       - name: Install apt packages using cache
         uses: awalsh128/cache-apt-pkgs-action@latest
         with:

.github/workflows/make-pdf-1-select.yml

@@ -43,6 +43,9 @@ jobs:
           ls -l chapters/
           ls -l
 
+      - name: Speed up apt-get steps
+        uses: abbbi/github-actions-tune@v1
+
       - name: Install PDF requirements
         run: |
           # not: to save time

.github/workflows/make-pdf-6-parallel.yml

@@ -31,6 +31,9 @@ jobs:
             hpmor*.xdv
           key: latex-build-files
 
+      - name: Speed up apt-get steps
+        uses: abbbi/github-actions-tune@v1
+
       - name: Install PDF requirements
         run: |
           # not: to save time

.github/workflows/make-pdf-all-serial.yml

@@ -28,6 +28,9 @@ jobs:
             hpmor*.xdv
           key: latex-build-files
 
+      - name: Speed up apt-get steps
+        uses: abbbi/github-actions-tune@v1
+
       - name: Install PDF requirements
         run: |
           sudo apt-get update > /dev/null

.github/workflows/make-pdf-test.yml

@@ -29,6 +29,9 @@ jobs:
           pwd
           ls -al
 
+      - name: Speed up apt-get steps
+        uses: abbbi/github-actions-tune@v1
+
       - name: Install requirements
         run: |
           sudo apt-get update > /dev/null