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

1 files changed, 10 insertions, 3 deletions

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,