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

Fix .ghcid files for all packages #3112

Merged
merged 1 commit into from
Nov 2, 2022
Merged

Fix .ghcid files for all packages #3112

merged 1 commit into from
Nov 2, 2022

Conversation

aniketd
Copy link
Contributor

@aniketd aniketd commented Nov 1, 2022

Closes #3087

JaredCorduan
JaredCorduan approved these changes Nov 1, 2022
View reviewed changes
Copy link
Contributor

@JaredCorduan JaredCorduan left a comment

Choose a reason for hiding this comment

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

this is wonderful, thank you @aniketd ! 🙌

@aniketd aniketd force-pushed the aniketd/issue-3087 branch 3 times, most recently from add3e4a to 0fc49b9 Compare November 1, 2022 16:51
@JaredCorduan
Copy link
Contributor

ci/hydraJobs.x86_64-linux.required (cicero) has taken over twelve hours, but buildkite has passed, so I am going to merge it.

@JaredCorduan JaredCorduan merged commit ef7e340 into master Nov 2, 2022
@iohk-bors iohk-bors bot deleted the aniketd/issue-3087 branch November 2, 2022 13:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JaredCorduan JaredCorduan JaredCorduan approved these changes

@lehins lehins Awaiting requested review from lehins

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

Successfully merging this pull request may close these issues.

GHCID instructions
2 participants
@aniketd @JaredCorduan