From d719f8e11ffb848a0809a7402b28f5cec56875df Mon Sep 17 00:00:00 2001 From: Shravan Goswami Date: Fri, 8 May 2026 21:21:27 +0530 Subject: [PATCH] Fix duplicate benchmark comments by using a stable HTML marker --- .github/workflows/Benchmarking.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/Benchmarking.yml b/.github/workflows/Benchmarking.yml index 8de69b6c1..a2830262a 100644 --- a/.github/workflows/Benchmarking.yml +++ b/.github/workflows/Benchmarking.yml @@ -100,6 +100,7 @@ jobs: main_sha='${{ needs.benchmark-main.outputs.sha }}' main_status='${{ needs.benchmark-main.result }}' { + echo "" echo "## Benchmarks @ ${head_sha}" echo "" cat head/results.md @@ -132,7 +133,7 @@ jobs: with: issue-number: ${{ github.event.pull_request.number }} comment-author: github-actions[bot] - body-includes: Benchmark Report + body-includes: "" - name: Create or update benchmark comment uses: peter-evans/create-or-update-comment@v5