louis-e 3c0fb05dcd Benchmark PR head on pushes and comment retriggers ...

The PR Benchmark only ran on opened/reopened and the comment retrigger
checked out the default branch, so it measured main instead of the PR.
Add the synchronize trigger and check out the PR head ref for both event
types, and report the actually-benchmarked commit.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

2026-05-22 00:29:07 +02:00

..

actions/setup-arnis-linux

Wire release.yml through the setup composite + comment tidy

2026-05-15 16:49:50 +02:00

ISSUE_TEMPLATE

Enhance bug report template with additional details

2025-08-24 02:59:43 +02:00

workflows

Benchmark PR head on pushes and comment retriggers

2026-05-22 00:29:07 +02:00

dependabot.yml

Add dependabot for automatic dependency updates

2025-01-03 05:03:19 +01:00

FUNDING.yml

FUNDING.yml

2024-12-29 00:53:10 +01:00