Closed nirinchev closed 3 months ago
Not for this PR, but maybe we should think of grouping all the ci-action scripts so it was obvious where there are coming from and what role they play. Ideally with a prefix that gathered them last in the list of workflows 😬
Not for this PR, but maybe we should think of grouping all the ci-action scripts so it was obvious where there are coming from and what role they play. Ideally with a prefix that gathered them last in the list of workflows 😬
If put in a separate folder it would also be easier not to trigger all the other workflows when they change.
Sure, happy to discuss a better organization of the common workflows.
Adds a workflow that verifies that PR titles have the form of "R...-123".