Skip to content

Conversation

@jplatte
Copy link
Member

@jplatte jplatte commented Aug 14, 2025

CI is broken in many ways, I want to fix it.

@jplatte jplatte requested review from a team and hawkw as code owners August 14, 2025 21:41
@jplatte jplatte marked this pull request as draft August 14, 2025 21:41
@jplatte jplatte changed the title Implement PartialOrd for MatchPattern, MatchDebug in terms of Ord Fix CI Aug 14, 2025
Also mention regex crate instead of regex-automata, since that's where
the syntax is actually documented and people are much more likely to be
familiar with the crate.
@jplatte jplatte marked this pull request as ready for review August 14, 2025 22:12
@jplatte jplatte enabled auto-merge (squash) August 14, 2025 22:23
@jplatte jplatte merged commit 3a1f571 into main Aug 15, 2025
56 checks passed
@jplatte jplatte deleted the jplatte/clippy branch August 15, 2025 05:40
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.

3 participants