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

Clean up warnings with Data.Semigroup #168

Merged
merged 1 commit into from
Dec 13, 2020
Merged

Clean up warnings with Data.Semigroup #168

merged 1 commit into from
Dec 13, 2020

Conversation

Ericson2314
Copy link
Collaborator

No description provided.

@Ericson2314
Copy link
Collaborator Author

Ericson2314 commented Dec 12, 2020 •
edited

I'm going to wait on getting some CI testing for this one.

@Ericson2314 Ericson2314 force-pushed the semigroup-warnings branch 2 times, most recently from e9d2851 to 1ff5578 Compare December 13, 2020 02:16
@Ericson2314
Copy link
Collaborator Author

Despite the CI failures, the builds get far enough to convince me this change is working as intended.

@Ericson2314 Ericson2314 merged commit 1ea213b into master Dec 13, 2020
@Ericson2314 Ericson2314 deleted the semigroup-warnings branch December 13, 2020 22:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@Ericson2314