From cd5345acd7e7e15999224ac5983cc774ef1bc173 Mon Sep 17 00:00:00 2001 From: Dante Niewenhuis Date: Mon, 15 Jun 2026 14:29:00 +0200 Subject: Updated github actions to comment a performance benchmark when creating a PR (#428) * Added a 10s delay to test Ci benchmarking * Made minor changes to the benchmark actions * Updated benchmark to save to atlarge repo * small change to delay * Updated the benchmark-comment to pull the baseline results from the correct location * Removed Delay --- .github/workflows/benchmark-comment.yml | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) (limited to '.github/workflows/benchmark-comment.yml') diff --git a/.github/workflows/benchmark-comment.yml b/.github/workflows/benchmark-comment.yml index 7f67f0f3..760804d2 100644 --- a/.github/workflows/benchmark-comment.yml +++ b/.github/workflows/benchmark-comment.yml @@ -45,15 +45,17 @@ jobs: - name: Fetch baseline from benchmark-data release run: | - gh release download benchmark-data --asset benchmark-history.json \ - --output baseline.json 2>/dev/null \ + gh release download benchmark-data \ + --repo atlarge-research/opendc \ + -A benchmark-history.json \ + -O baseline.json 2>/dev/null \ || echo "[]" > baseline.json env: GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} - name: Generate comparison comment run: | - python .github/scripts/compare_benchmarks.py \ + python3 .github/scripts/compare_benchmarks.py \ current-results/results.json \ baseline.json \ > comment.md @@ -68,6 +70,9 @@ jobs: const fullBody = marker + '\n' + body; const prNumber = parseInt(fs.readFileSync('pr-number.txt', 'utf8').trim()); + core.info(`Posting comment to ${context.repo.owner}/${context.repo.repo} PR #${prNumber}`); + core.info(`Comment body length: ${body.length} chars`); + const { data: comments } = await github.rest.issues.listComments({ owner: context.repo.owner, repo: context.repo.repo, @@ -76,6 +81,7 @@ jobs: const existing = comments.find(c => c.body.includes(marker)); if (existing) { + core.info(`Updating existing comment ${existing.id}`); await github.rest.issues.updateComment({ owner: context.repo.owner, repo: context.repo.repo, @@ -83,6 +89,7 @@ jobs: body: fullBody, }); } else { + core.info('Creating new comment'); await github.rest.issues.createComment({ owner: context.repo.owner, repo: context.repo.repo, -- cgit v1.2.3