Commit 6f5a41524df for php

commit 6f5a41524dfb89a4a191cd4912730e48f91ef141
Author: Tim Düsterhus <tim@tideways-gmbh.com>
Date:   Thu Oct 29 09:04:08 2026 +0100

    Update GitHub Action workflows to `actions/checkout@v7` (8.4)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 5c1c642a856..c59fc58a5d8 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -17,7 +17,7 @@ jobs:
     if: github.repository == 'php/php-src'
     steps:
       - name: git checkout
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
       - name: Install dependencies
         run: pip install sphinx-design sphinxawesome-theme rstfmt
       - name: Check formatting