Skip to content

CI: run on merge_group (prerequisite for the merge queue) - #16

Merged
REPPL merged 2 commits into
mainfrom
merge-queue
Jul 18, 2026
Merged

CI: run on merge_group (prerequisite for the merge queue)#16
REPPL merged 2 commits into
mainfrom
merge-queue

CI: fix stale zizmor header comment (SARIF upload is off)

5d19a07
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check
succeeded Jul 18, 2026 in 22s