Skip to content

Remove build on every dev-18 push#1180

Merged
hughcapet merged 1 commit intodev-18from
ci/no-special-dev-18-policy
Feb 16, 2026
Merged

Remove build on every dev-18 push#1180
hughcapet merged 1 commit intodev-18from
ci/no-special-dev-18-policy

Commits

Commits on Feb 16, 2026