jp font

2026-07-27 17:47:50 +02:00
parent 6e89adcc51
commit 4ae64e168f
4 changed files with 1 additions and 9 deletions
@@ -15,13 +15,6 @@ jobs:
            - name: Checkout
              uses: actions/checkout@v4

-            # # 1. Restore the font and TeX cache from previous runs
-            # - name: Cache TeX and Fontconfig
-            #   uses: actions/cache@v3
-            #   with:
-            #       path: .texcache
-            #       key: texlive-fonts-${{ runner.os }}
-
            - name: Find all root .tex files
              id: roots
              run: |