Skip to content

Conversation

jgallagher
Copy link
Contributor

See #9071 for context; this is the short/medium-term fix proposed in that issue.

@jgallagher jgallagher enabled auto-merge (squash) September 25, 2025 11:50
@jgallagher jgallagher merged commit 4753535 into main Sep 25, 2025
16 checks passed
@jgallagher jgallagher deleted the john/ignore-build-in-version-check branch September 25, 2025 13:01
leftwo pushed a commit that referenced this pull request Sep 26, 2025
See #9071 for context; this is the short/medium-term fix proposed in
that issue.
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