From 126a790dbe3d9086adaff9e1518c88544c73780c Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Fri, 3 Oct 2025 07:08:29 +0000
Subject: [PATCH] chore(deps): update peter-evans/create-or-update-comment
 action to v5

| datasource  | package                              | from   | to     |
| ----------- | ------------------------------------ | ------ | ------ |
| github-tags | peter-evans/create-or-update-comment | v4.0.0 | v5.0.0 |
---
 .github/workflows/build-verification.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-verification.yaml b/.github/workflows/build-verification.yaml
index bcc0997..407d7c8 100644
--- a/.github/workflows/build-verification.yaml
+++ b/.github/workflows/build-verification.yaml
@@ -79,7 +79,7 @@ jobs:
 
       - name: Create comment for code issues
         if: ${{ github.event_name == 'pull_request' && steps.typecheck.outputs.has_errors == 'true' }}
-        uses: peter-evans/create-or-update-comment@71345be0265236311c031f5c7866368bd1eff043 #4.0.0
+        uses: peter-evans/create-or-update-comment@e8674b075228eee787fea43ef493e45ece1004c9 # 5.0.0
         with:
           issue-number: ${{ github.event.pull_request.number }}
           body: |