On 19.05.26 17:06, [email protected] wrote:
If we can find a way to avoid the additional CI resource usage, I'd be happy to
implement these changes.
You may add a `[skip ci]` string somewhere in the commit message after
rebasing and before force-pushing.
https://docs.github.com/en/actions/how-tos/manage-workflow-runs/skip-workflow-runs
This won't work, because that will also skip CI on the target branch,
i.e. PHP-8.5, master and whatnot. We only want to skip the PR CI. A PR
label would be possible (e.g. "Merging" that stops CI from running), but
adding this label is just another step in a process that's already too
tedious and error prone.
Ilija
