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

Moved Features into derive #662

Merged
merged 3 commits into from
Apr 6, 2022
Merged

Moved Features into derive #662

merged 3 commits into from
Apr 6, 2022

Conversation

genusistimelord
Copy link
Contributor

@genusistimelord genusistimelord commented Apr 6, 2022

Crosses fingers as this is just a force push of the last changes....

@Kijewski

@genusistimelord
Copy link
Contributor Author

genusistimelord commented Apr 6, 2022

I could not reopen the old PR since you closed it. @Kijewski

@Kijewski
Copy link
Collaborator

Kijewski commented Apr 6, 2022

I could not reopen the old PR since you closed it. @Kijewski

Any I could not reopen it, because it was synchronous to main after my mistake. :-/

Could you please unpick the last commit? 0.11.2 is fine. It tells cargo that any version 0.11.[2, 3, 4…] is okay, which is exactly what we want to express. :)

@genusistimelord
Copy link
Contributor Author

genusistimelord commented Apr 6, 2022

I have done so. It is hard to tell exactly what was wanted =]. @Kijewski

@Kijewski
Copy link
Collaborator

Kijewski commented Apr 6, 2022

LGTM. What do you say, @djc, @jplatte?

@djc
Copy link
Owner

djc commented Apr 6, 2022

It's failing CI. Should fix that? Otherwise, LGTM.

@Kijewski
Copy link
Collaborator

Kijewski commented Apr 6, 2022

@djc, some action runners haven't updated their rust nightly, yet, and are still affected by rust-lang/rust#95728. Running the test again solves it (often).

@Kijewski Kijewski self-requested a review April 6, 2022 20:09
@Kijewski Kijewski merged commit d5fe7dc into djc:main Apr 6, 2022
@Kijewski
Copy link
Collaborator

Kijewski commented Apr 6, 2022

Thank you for the fix, @genusistimelord! :)

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.

None yet

4 participants