diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
index 28fdb0189c..64d445586a 100644
--- a/.github/workflows/build-and-test.yml
+++ b/.github/workflows/build-and-test.yml
@@ -44,7 +44,7 @@ jobs:
 
     # See design.mps.tests.ci.run.posix.
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v4 # see <https://github.com/actions/checkout/blob/main/README.md#usage>
     - run: CC=${{ matrix.compiler }} ./configure
     - run: make
     - run: make test
@@ -59,7 +59,7 @@ jobs:
     # <https://github.com/actions/runner-images/blob/e6fcf60b8e6c0f80a065327eaefe836881c28b68/images/win/Windows2022-Readme.md?plain=1#L215>.
 
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v4 # see <https://github.com/actions/checkout/blob/main/README.md#usage>
     - run: |
          call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" x64
          cd code
diff --git a/.github/workflows/fixme-check.yml b/.github/workflows/fixme-check.yml
index 40cb9a5725..e42f7fa3bc 100644
--- a/.github/workflows/fixme-check.yml
+++ b/.github/workflows/fixme-check.yml
@@ -17,5 +17,5 @@ jobs:
   check-fixme:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v4 # see <https://github.com/actions/checkout/blob/main/README.md#usage>
       - run: tool/check-fixme
diff --git a/.github/workflows/rst-check.yml b/.github/workflows/rst-check.yml
index 46ea28a53d..1f643c5742 100644
--- a/.github/workflows/rst-check.yml
+++ b/.github/workflows/rst-check.yml
@@ -16,7 +16,7 @@ jobs:
   check-rst:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v4 # see <https://github.com/actions/checkout/blob/main/README.md#usage>
       - name: Install docutils
         run: sudo apt-get install -y docutils
       - name: Check reStructuredText syntax
diff --git a/.github/workflows/shell-script-check.yml b/.github/workflows/shell-script-check.yml
index ad0a23fdea..e8e9e2ae51 100644
--- a/.github/workflows/shell-script-check.yml
+++ b/.github/workflows/shell-script-check.yml
@@ -16,7 +16,7 @@ jobs:
   check-shell-scripts:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v4 # see <https://github.com/actions/checkout/blob/main/README.md#usage>
       - name: Install shellcheck
         run: sudo apt-get install -y shellcheck
       - name: Check shell scripts