🧹 Update dist folder

WtfJoke · Sep 17, 2023 · a11e2fc · a11e2fc
1 parent b350c4b
commit a11e2fc
Show file tree

Hide file tree

Showing 3 changed files with 9,312 additions and 10,951 deletions.
diff --git a/README.md b/README.md
@@ -63,7 +63,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - uses: wtfjoke/setup-tectonic@v3
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
@@ -88,7 +88,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - uses: actions/cache@v3
         name: Tectonic Cache
         with:
@@ -120,7 +120,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - uses: actions/cache@v3
         name: Tectonic Cache
         with: