Skip to content

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