Skip to content

use newer ghc in ci#32

Merged
parsonsmatt merged 4 commits intomasterfrom
mattp/update-ci
Oct 24, 2024
Merged

use newer ghc in ci#32
parsonsmatt merged 4 commits intomasterfrom
mattp/update-ci

Conversation

@parsonsmatt
Copy link
Copy Markdown
Owner

Before submitting your PR, check that you've:

After submitting your PR:

  • Update the Changelog.md file with a link to your PR.
  • Check that CI passes (or if it fails, for reasons unrelated to your change, like CI timeouts).

@parsonsmatt parsonsmatt merged commit f573eb9 into master Oct 24, 2024
@parsonsmatt parsonsmatt deleted the mattp/update-ci branch October 24, 2024 22:25
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.

1 participant