Skip to content

Start using structured diagnostics for missing signatures #4625

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

Merged
merged 6 commits into from
Jun 9, 2025

Conversation

janvogt
Copy link
Contributor

@janvogt janvogt commented Jun 8, 2025

No description provided.

@janvogt janvogt force-pushed the master branch 2 times, most recently from 9ecd9f4 to 9ca4bb5 Compare June 8, 2025 19:25
Copy link
Collaborator

@fendor fendor left a comment

Choose a reason for hiding this comment

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

LGTM, one comment.

@janvogt janvogt force-pushed the master branch 3 times, most recently from 5a847ee to 6402b38 Compare June 9, 2025 10:00
@janvogt
Copy link
Contributor Author

janvogt commented Jun 9, 2025

Ok, I guess, the CI is now as green as it gets 😅

@fendor fendor added the merge me Label to trigger pull request merge label Jun 9, 2025
@mergify mergify bot merged commit 4c7e56a into haskell:master Jun 9, 2025
38 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants