remove pdfs from caching as their restore does not work as planned

EagleoutIce · Aug 11, 2022 · 9d01f6d · 9d01f6d
1 parent 7b2e1c4
commit 9d01f6d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/compile.yaml b/.github/workflows/compile.yaml
@@ -21,7 +21,7 @@ jobs:
       with:
         path: |
           **/build
-          **/*.pdf
+          overview
         key: ${{ runner.os }}-eidi-ss2022-slides-${{ github.run_id }}
         restore-keys: ${{ runner.os }}-eidi-ss2022-slides-
     - name: use make docker to do the magic