Skip to content

Run benchmark workflows on pull_request instead of pull_request_target#4664

Open
tautschnig wants to merge 2 commits into
model-checking:mainfrom
tautschnig:bench-on-pull-request
Open

Run benchmark workflows on pull_request instead of pull_request_target#4664
tautschnig wants to merge 2 commits into
model-checking:mainfrom
tautschnig:bench-on-pull-request

Commits

Commits on Jul 21, 2026