Skip to content

Prepare release of version 1.1.10.#88

Open
jonathanknowles wants to merge 10 commits intoIntersectMBO:masterfrom
jonathanknowles:jonathanknowles/prepare-release
Open

Prepare release of version 1.1.10.#88
jonathanknowles wants to merge 10 commits intoIntersectMBO:masterfrom
jonathanknowles:jonathanknowles/prepare-release

Conversation

@jonathanknowles
Copy link
Contributor

@jonathanknowles jonathanknowles commented Jan 30, 2026

This PR prepares for release of version 1.1.10.

In addition, it makes several revisions to CI:

  • 📌 Use newest versions of all actions.
  • 📌 Add GHC 9.14 to the build matrix.
  • 📌 Remove GHC 8.10 (latest release 2021-08-27) from the build matrix.
  • 📌 Remove GHC 9.0 (latest release 2021-12-25) from the build matrix.
  • 📌 Remove (silently) broken style.yml workflow.

@jonathanknowles
Copy link
Contributor Author

jonathanknowles commented Jan 30, 2026

Notice to reviewers:

This repository's build.yml workflow has been disabled.

Please can someone re-enable it?

Many thanks! 🙏🏻

Copy link
Contributor

@Unisay Unisay left a comment

Choose a reason for hiding this comment

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

Thanks, lgtm!

@Unisay
Copy link
Contributor

Unisay commented Jan 30, 2026

Please can someone re-enable it?

Done, re-enabled it. It was auto-disabled due to "inactivity" 🤷🏼‍♂️ (this is automatic feature, will probably happen in the future too).

@Unisay Unisay self-assigned this Jan 30, 2026
@jonathanknowles
Copy link
Contributor Author

Thanks @Unisay!

Are you able to perform the merge? (My account no longer has the privilege.)

I can upload the new version to Hackage. 👍🏻

@Unisay
Copy link
Contributor

Unisay commented Feb 2, 2026

@zeme-wana Could you help merging this one, please?

@jonathanknowles
Copy link
Contributor Author

Hi @Unisay @zeme-wana
Is there anything you need from me before merging? If not, would it be okay for you to hit the merge button? Thank-you! 🙏🏻
(As a maintainer of this package on Hackage, I'm happy to handle the release there.)

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.

2 participants