Skip to content

ci: run CI on every pull request - #4770

Merged
PierreBrisorgueil merged 1 commit into
masterfrom
ci/pr-ci-always
Oct 21, 2026
Merged

PierreBrisorgueil merged 1 commit into
masterfrom
ci/pr-ci-always

Commits

  1. Commits on Oct 21, 2026