Skip to content

ci: avoid duplicate main runs after merge queue - #11

Merged
EwigMidori merged 2 commits into
mainfrom
chore/skip-duplicate-main-ci
May 14, 2026
Merged

ci: avoid duplicate main runs after merge queue#11
EwigMidori merged 2 commits into
mainfrom
chore/skip-duplicate-main-ci

ci: skip cache on merge queue runs

2f6c5f0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar