Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions .github/workflows/benchmark.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,12 +2,12 @@ name: Benchmarks

on:
workflow_dispatch:
push:
branches:
- 'bench/**'
pull_request:
branches: [main]
paths:
- 'src/rules/**'
- 'benches/**'
- '.github/workflows/benchmark.yml'
branches:
- 'bench/**'
Comment on lines 3 to +10

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Misconfigured pull_request filter prevents benchmarks from running

The new trigger filters pull_request.branches to bench/**, but on GitHub Actions this key matches the base branch, not the source branch. Typical benchmark PRs will target main from branches like bench/foo, so this workflow will never trigger for those PRs. The change therefore disables benchmark runs for the very branches it is meant to cover. Consider keeping branches: [main] and adding an if: startsWith(github.head_ref, 'bench/') or a similar condition to gate on the PR’s head branch instead.

Useful? React with 👍 / 👎.


env:
CARGO_TERM_COLOR: always
Expand Down