Merge pull request #1 from 0xProject/fix/PLA-1666/bump-actions-node24

fix: bump github actions to node24 runtimes

Author: talalashraf

.github/workflows/lean_action_ci.yml

@@ -10,5 +10,5 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
       - uses: leanprover/lean-action@v1