Mathieu 08e6e1bf49 ci(vectura): only run on the changes of the branch (#10528) ...

GitHub filters a push on the diff with the previous push of the branch: after
a rebase on `master`, or a merge of it, this diff contains the vectura changes
landed on `master` meanwhile, and the workflow rebuilds vectura on branches
which do not touch it.

A pull request is filtered on the diff with its merge base instead, i.e. the
changes of the branch only. Pushes still run the workflow on `master`.

2026-10-06 09:27:15 +02:00

..

ISSUE_TEMPLATE

doc(xo): update links to new xo doc domain name (#8811)

2025-07-22 11:19:12 +02:00

workflows

ci(vectura): only run on the changes of the branch (#10528)

2026-10-06 09:27:15 +02:00