Merge pull request #1192 from HoTT/dependabot/github_actions/actions/checkout-6

Bump actions/checkout from 5 to 6

Author: mikeshulman

.github/workflows/ci.yml

@@ -14,7 +14,7 @@ jobs:
     container: danteev/texlive:2025-07-15
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v5
+        uses: actions/checkout@v6
 
       - name: Consider all directories safe
         run: git config --global --add safe.directory '*'