Skip to content

Conversation

@avdv
Copy link
Member

@avdv avdv commented Nov 7, 2023

Automated changes by create-pull-request GitHub action

@avdv avdv force-pushed the automation/update-ghc-9.8 branch from c3f6ac9 to 66e4ccd Compare November 9, 2023 15:04
@avdv avdv requested a review from ylecornec November 9, 2023 16:43
@avdv avdv added the merge-queue merge on green CI label Nov 9, 2023
@mergify mergify bot merged commit d5c4556 into master Nov 9, 2023
@mergify mergify bot deleted the automation/update-ghc-9.8 branch November 9, 2023 17:50
@mergify mergify bot removed the merge-queue merge on green CI label Nov 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants