Skip to content

Add workflow run link to benchmark status comment#620

Merged
seveibar merged 1 commit intomainfrom
codex/add-workflow-link-to-benchmark-comment
Mar 4, 2026
Merged

Add workflow run link to benchmark status comment#620
seveibar merged 1 commit intomainfrom
codex/add-workflow-link-to-benchmark-comment

Conversation

@seveibar
Copy link
Copy Markdown
Contributor

@seveibar seveibar commented Mar 4, 2026

Motivation

  • Improve the /benchmark issue-comment status message so users can jump directly from the comment to the live GitHub Actions workflow run for easier debugging and log access.

Description

  • Update .github/workflows/benchmark.yml to include a “🔗 Workflow: View run” link in the initial status comment by adding the run URL ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}.

Testing

  • Ran bunx tsc --noEmit and bun run format, and both commands completed successfully.

Codex Task

@vercel
Copy link
Copy Markdown

vercel bot commented Mar 4, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
capacity-node-autorouter Ready Ready Preview, Comment Mar 4, 2026 4:07am

Request Review

@tscircuitbot
Copy link
Copy Markdown

🏃 Benchmark This PR

Run benchmarks by commenting on this PR:

/benchmark [solver-name|_] [scenario-limit] --concurrency <n>

Examples:

  • /benchmark -> all solvers, all scenarios (default concurrency 16)
  • /benchmark AutoroutingPipelineSolver -> one solver, all scenarios
  • /benchmark _ 20 -> all solvers, first 20 scenarios
  • /benchmark AutoroutingPipelineSolver 20 --concurrency 8 -> one solver, 20 scenarios, 8 workers

@seveibar seveibar merged commit 179113d into main Mar 4, 2026
13 checks passed
@seveibar seveibar deleted the codex/add-workflow-link-to-benchmark-comment branch March 4, 2026 04:33
@tscircuitbot
Copy link
Copy Markdown


Thank you for your contribution! 🎉

PR Rating:
Impact: Tiny

Track your contributions and see the leaderboard at: tscircuit Contribution Tracker


Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants