Skip to content

Run benchmark workflows on pull_request instead of pull_request_target#4664

Merged
tautschnig merged 3 commits into
model-checking:mainfrom
tautschnig:bench-on-pull-request
Jul 23, 2026
Merged

Run benchmark workflows on pull_request instead of pull_request_target#4664
tautschnig merged 3 commits into
model-checking:mainfrom
tautschnig:bench-on-pull-request

Merge branch 'main' into bench-on-pull-request

081ffca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
audit
succeeded Jul 23, 2026 in 54s