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

Bump GHC from 9.6 to 9.10 #1142

Merged
merged 6 commits into from
Jan 8, 2025
Merged

Bump GHC from 9.6 to 9.10 #1142

merged 6 commits into from
Jan 8, 2025

Conversation

TristanCacqueray
Copy link
Contributor

No description provided.

@TristanCacqueray TristanCacqueray marked this pull request as draft January 7, 2025 14:32
@TristanCacqueray TristanCacqueray marked this pull request as ready for review January 7, 2025 21:00
morucci
morucci reviewed Jan 8, 2025
View reviewed changes
Copy link
Collaborator

@morucci morucci left a comment

Choose a reason for hiding this comment

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

  • A follow-up for the ubi image to bump on 9.10 will be needed too then.

nix/default.nix Outdated Show resolved Hide resolved
@TristanCacqueray
Use hls and ghcid built with ghc-9.10
9ce8ef3 
This change also removes apply-refact since the command line no longer works.
@TristanCacqueray
Apply hlint suggestions
debee16
@TristanCacqueray
Apply new fourmolu format
fabef63
@morucci morucci added the merge me Trigger the merge process label Jan 8, 2025
@mergify Mergify
Copy link
Contributor

mergify bot commented Jan 8, 2025

This pull request has been removed from the queue for the following reason: pull request branch update failed.

The pull request can't be updated

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.

If you want to requeue this pull request, you need to post a comment with the text: @mergifyio requeue

@morucci
Copy link
Collaborator

morucci commented Jan 8, 2025

@Mergifyio requeue

@mergify Mergify
Copy link
Contributor

mergify bot commented Jan 8, 2025

requeue

✅ The queue state of this pull request has been cleaned. It can be re-embarked automatically

@mergify Mergify
Copy link
Contributor

mergify bot commented Jan 8, 2025

This pull request has been removed from the queue for the following reason: pull request branch update failed.

The pull request can't be updated

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.

If you want to requeue this pull request, you need to post a comment with the text: @mergifyio requeue

@morucci
Copy link
Collaborator

morucci commented Jan 8, 2025

@Mergifyio refresh

@mergify Mergify
Copy link
Contributor

mergify bot commented Jan 8, 2025

refresh

✅ Pull request refreshed

@mergify Mergify
Copy link
Contributor

mergify bot commented Jan 8, 2025

This pull request has been removed from the queue for the following reason: pull request branch update failed.

The pull request can't be updated

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.

If you want to requeue this pull request, you need to post a comment with the text: @mergifyio requeue

@morucci morucci merged commit 231608b into change-metrics:master Jan 8, 2025
5 of 7 checks passed
@TristanCacqueray TristanCacqueray mentioned this pull request Jan 14, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@morucci morucci morucci approved these changes

Assignees
No one assigned
Labels
merge me Trigger the merge process
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@TristanCacqueray @morucci