Merge pull request #535 from Seasawher/dependabot/github_actions/actions/checkout-6

Author: Seasawher

.github/workflows/build.yaml

@@ -22,7 +22,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: checkout
-        uses: actions/checkout@v5
+        uses: actions/checkout@v6
 
       - name: install python
         uses: actions/setup-python@v6

.github/workflows/update.yaml

@@ -22,7 +22,7 @@ jobs:
       updated: ${{ steps.update-tactic-list.outputs.files_changed }}
     steps:
       - name: Checkout code
-        uses: actions/checkout@v5
+        uses: actions/checkout@v6
 
       - name: Update Lean project
         id: update-lean-mathlib