jp font

2026-07-27 17:44:00 +02:00
parent 5b2e90faa4
commit 6e89adcc51
1 changed files with 6 additions and 6 deletions
@@ -15,12 +15,12 @@ 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 }}
+            # # 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