Skip to content

ci(diet): skip the 24-engine Kani matrix on non-code PRs (tier B) - #311

Merged
avrabe merged 3 commits into
mainfrom
ci/diet-tier-b-kani-path-filter
Jul 23, 2026
Merged

ci(diet): skip the 24-engine Kani matrix on non-code PRs (tier B)#311
avrabe merged 3 commits into
mainfrom
ci/diet-tier-b-kani-path-filter

Commits

Commits on Jul 23, 2026