Repository navigation
Bump GHC to 9.8.4, HLS to 2.11, Hlint 3.10, add git formatting hooks to nix develop - #1293
Merged
Merged
Conversation
carbolymer
force-pushed
the
mgalazyn/chore/bump-ghc-devtools
branch
from
October 24, 2025 10:57
ad63aa5 to
a82e4a5
Compare
carbolymer
force-pushed
the
mgalazyn/chore/bump-ghc-devtools
branch
from
October 24, 2025 13:12
a82e4a5 to
13c37b2
Compare
carbolymer
requested review from
Jimbo4350,
disassembler,
kevinhammond,
newhoggy and
palas
as code owners
October 24, 2025 13:12
carbolymer
force-pushed
the
mgalazyn/chore/bump-ghc-devtools
branch
2 times, most recently
from
October 24, 2025 14:15
f2179af to
3aaafa6
Compare
Jimbo4350
approved these changes
Oct 24, 2025
Co-authored-by: Hamish Mackenzie <Hamish.K.Mackenzie@gmail.com>
carbolymer
force-pushed
the
mgalazyn/chore/bump-ghc-devtools
branch
from
October 30, 2025 13:41
3aaafa6 to
8e1f663
Compare
carbolymer
enabled auto-merge
October 30, 2025 13:41
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Changelog
Context
Additional context for the PR goes here. If the PR fixes a particular issue please provide a link to the issue.
How to trust this PR
Highlight important bits of the PR that will make the review faster. If there are commands the reviewer can run to observe the new behavior, describe them.
Checklist