Skip to content

chore: fix formatting - #125

Merged
andreabedini merged 1 commit into
mainfrom
push-ozxmqolkowks
May 20, 2026
Merged

chore: fix formatting#125
andreabedini merged 1 commit into
mainfrom
push-ozxmqolkowks

Conversation

@andreabedini

Copy link
Copy Markdown
Collaborator

No description provided.

Copilot AI review requested due to automatic review settings May 18, 2026 06:08

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

Pure formatting cleanup: reorders imports alphabetically and reformats a let binding to match the project's formatter style.

Changes:

  • Sort import lists alphabetically in CmdBuild.hs.
  • Reformat the latestPackageVersions let-binding layout.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@andreabedini
andreabedini enabled auto-merge (rebase) May 18, 2026 06:13
@isovector isovector mentioned this pull request May 18, 2026
@isovector

Copy link
Copy Markdown
Contributor

Sorry about that!

@andreabedini

Copy link
Copy Markdown
Collaborator Author

@isovector no problem. TBH I am not sure why the PR went in when the checks failed 🤷‍♂️

@andreabedini
andreabedini merged commit 62184bb into main May 20, 2026
7 checks passed
@andreabedini
andreabedini deleted the push-ozxmqolkowks branch May 20, 2026 05:04
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