Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Upgrade to Winnow 0.7 #330

Merged
merged 6 commits into from
Jan 31, 2025
Merged

chore: Upgrade to Winnow 0.7 #330

merged 6 commits into from
Jan 31, 2025

Conversation

epage
Copy link
Contributor

@epage epage commented Jan 31, 2025

I am not thrilled with the fact that annotations of some kind (I used
no-op map_errs here) are needed for the errors and will be digging
into this to better understand why. The code in toml_edit is very
similar and yet it doesn't need them.

Those map_errs were needed to workaround impl From for ErrMode. ErrMode is now optional, so its unclear when calling a generic error if its returning a ErrorContext or a ErrMode<ErrorContext>. See winnow-rs/winnow#735

epage added 4 commits January 30, 2025 16:50
I am not thrilled with the fact that annotations of some kind (I used
no-op `map_err`s here) are needed for the errors and will be digging
into this to better understand why.  The code in `toml_edit` is very
similar and yet it doesn't need them.
@GuillaumeGomez
Copy link
Contributor

Nice thanks!

@Kijewski Any idea what's going on with the failing CI?

@Kijewski
Copy link
Collaborator

Kijewski commented Jan 31, 2025

Looks like MicroSoft made DevSkim depend on a newer .net version, but they forgot to tell the script to install the newer version, too: microsoft/DevSkim-Action#30.

@Kijewski Kijewski enabled auto-merge (squash) January 31, 2025 20:20
Copy link
Collaborator

@Kijewski Kijewski left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@Kijewski Kijewski merged commit 08bc972 into rinja-rs:master Jan 31, 2025
39 checks passed
@epage epage deleted the winnow branch January 31, 2025 22:14
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