diff --git a/.github/workflows/automation.yml b/.github/workflows/automation.yml
index 058451b300..5354b109f2 100644
--- a/.github/workflows/automation.yml
+++ b/.github/workflows/automation.yml
@@ -18,7 +18,7 @@ jobs:
     
   #   steps:
   #     - name: Checkout code
-  #       uses: actions/checkout@v4
+  #       uses: actions/checkout@v5
         
   #     - uses: actions/labeler@v5
   #       with:
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index f784e824d1..3b14d85998 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -21,7 +21,7 @@
 #     runs-on: ubuntu-latest
 #     steps:
 
-#       - uses: actions/checkout@v3
+#       - uses: actions/checkout@v5
 #         with:
 #           submodules: recursive