Skip to content

CI: lighter checks on pull requests, everything on main, nightly and releases - #137

Merged
wfaithfull merged 1 commit into
mainfrom
ci-tiering
Oct 29, 2026
Merged

wfaithfull merged 1 commit into
mainfrom
ci-tiering