Skip to content

Run benchmarks on-demand and weekly (not on every PR)#69

Merged
tjgreen42 merged 3 commits intomainfrom
benchmark-on-demand
Dec 15, 2025
Merged

Run benchmarks on-demand and weekly (not on every PR)#69
tjgreen42 merged 3 commits intomainfrom
benchmark-on-demand

Conversation

@tjgreen42
Copy link
Copy Markdown
Collaborator

Summary

  • Remove pull_request trigger and pr-benchmark job
  • Keep weekly schedule, but skip if no commits in last 7 days
  • Manual workflow_dispatch always available

- Remove pull_request trigger and pr-benchmark job
- Keep weekly schedule, but skip if no commits in last 7 days
- Manual workflow_dispatch always available
@tjgreen42 tjgreen42 merged commit 7188560 into main Dec 15, 2025
17 of 18 checks passed
@tjgreen42 tjgreen42 deleted the benchmark-on-demand branch December 15, 2025 22:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant