Merge pull request #1145 from HoTT/dependabot/github_actions/actions/…

…checkout-4 Bump actions/checkout from 3 to 4
HoTT · Jun 17, 2024 · e428abf · e428abf
2 parents 2e736d1 + 3675564
commit e428abf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -14,7 +14,7 @@ jobs:
     container: danteev/texlive:latest
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Consider all directories safe
         run: git config --global --add safe.directory '*'