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.

Sign up for GitHub

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

Jump to bottom

CI fixes #139

Merged
merged 2 commits into from
Sep 6, 2023
Merged

CI fixes #139

merged 2 commits into from
Sep 6, 2023

Conversation

kpreid
Copy link
Contributor

@kpreid kpreid commented Sep 2, 2023 •
edited
Loading

  • Add missing arbitrary to list of features in CI.
  • Allow clippy::redundant_closure_call false positive.

@kpreid kpreid marked this pull request as ready for review September 2, 2023 22:24
mbrubeck
mbrubeck approved these changes Sep 3, 2023
View reviewed changes
Copy link
Collaborator

@mbrubeck mbrubeck left a comment

Choose a reason for hiding this comment

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

Thanks!

@kpreid
Copy link
Contributor Author

kpreid commented Sep 6, 2023

Just checking — did you perhaps forget to hit merge on this PR? Guessing because my #138 was merged at the same time but this wasn't.

@mbrubeck mbrubeck merged commit e1f3ea8 into reem:master Sep 6, 2023
2 checks passed
@mbrubeck
Copy link
Collaborator

mbrubeck commented Sep 6, 2023

Thanks for the reminder. GitHub mysteriously stopped responding when I tried to merge this on the weekend.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mbrubeck mbrubeck mbrubeck approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kpreid @mbrubeck