diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3b7990a..f2eab48 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -12,5 +12,5 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v6 # OBS: v6 current as of Dec 2025
+      - uses: actions/checkout@v7 # OBS: v6 current as of Dec 2025
       - uses: leanprover/lean-action@v1
diff --git a/.github/workflows/links.yml b/.github/workflows/links.yml
index 15435e9..e0ac6b7 100644
--- a/.github/workflows/links.yml
+++ b/.github/workflows/links.yml
@@ -32,7 +32,7 @@ jobs:
       pull-requests: write
 
     steps:
-      - uses: actions/checkout@v6 # OBS: v6 current as of Dec 2025
+      - uses: actions/checkout@v7 # OBS: v6 current as of Dec 2025
 
       # WHY: Check all documentation and config files for broken links
       - name: Check links with Lychee