do not update everything all the time, this is too slow

oetiker · May 10, 2024 · 71bc380 · 71bc380
1 parent 8ce38ea
commit 71bc380
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -67,8 +67,9 @@ jobs:
     steps:
       - name: Install tools
         run: |
-          tlmgr update --self
-          tlmgr update --all
+#         tlmgr update --self
+#         tlmgr update --all
+          tlmgr install hyphen-french hyph-utf8 hyphen-german
           apk add make
           apk add git
           apk add py3-pygments