build(deps): bump peter-evans/create-or-update-comment

PR-URL: #1293

Bumps [peter-evans/create-or-update-comment](https://github.com/peter-evans/create-or-update-comment) from 3.1.0 to 4.0.0.
- [Release notes](https://github.com/peter-evans/create-or-update-comment/releases)
- [Commits](peter-evans/create-or-update-comment@23ff157...71345be)

---
updated-dependencies:
- dependency-name: peter-evans/create-or-update-comment
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Reviewed-by: Philipp Burckhardt <pburckhardt@outlook.com>

Author: dependabot[bot]

.github/workflows/check_required_files.yml

@@ -220,7 +220,7 @@ jobs:
       - name: 'Create a comment on the pull request informing the user whether the pull request is missing required files'
         if: steps.check-reviewers.outputs.is_stdlib_bot == 'true'
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0
+        uses: peter-evans/create-or-update-comment@71345be0265236311c031f5c7866368bd1eff043 # v4.0.0
         with:
           # Specify the issue or pull request number:
           issue-number: ${{ github.event.pull_request.number }}

.github/workflows/scaffold_pkg_via_branch_push.yml

@@ -124,7 +124,7 @@ jobs:
       - name: 'Add comment to pull request'
         if: steps.check-branch-name.outputs.issue-number != ''
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0
+        uses: peter-evans/create-or-update-comment@71345be0265236311c031f5c7866368bd1eff043 # v4.0.0
         with:
           issue-number: ${{ steps.check-branch-name.outputs.issue-number }}
           body: |

.github/workflows/scaffold_pkg_via_pull_request_assignment.yml

@@ -176,7 +176,7 @@ jobs:
       # Add a comment to the pull request:
       - name: 'Add comment to pull request'
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0
+        uses: peter-evans/create-or-update-comment@71345be0265236311c031f5c7866368bd1eff043 # v4.0.0
         env:
           HEAD_REF: ${{ github.event.pull_request.head.ref }}
         with:
@@ -276,7 +276,7 @@ jobs:
       # Add comment to the pull request:
       - name: 'Add comment to pull request'
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.0.2
+        uses: peter-evans/create-or-update-comment@71345be0265236311c031f5c7866368bd1eff043 # v3.0.2
         with:
           issue-number: ${{ github.event.pull_request.number }}
           body: |