Skip to content

Conversation

@rjmunro
Copy link
Contributor

@rjmunro rjmunro commented Dec 16, 2025

The PR workflow will check if we are compatible with it.

If there is a PR already open which has passed, we will force push to replace it.

If there is a PR already open which has failed, we will add to it by merging the latest changes in, preserving the failed commit in the commit history so you can still inspect the reason for the failure and see if the latest release has fixed it.

The PR workflow will check if we are compatible with it.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants