Skip to content

Make it build with ghc-9.14 - #6638

Open
erikd wants to merge 6 commits into
masterfrom
erikd/updates
Open

Make it build with ghc-9.14#6638
erikd wants to merge 6 commits into
masterfrom
erikd/updates

Conversation

@erikd

@erikd erikd commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

Description

Make it build with ghc-9.14

Checklist

  • Commit sequence broadly makes sense and commits have useful messages
  • New tests are added if needed and existing tests are updated. These may include:
    • golden tests
    • property tests
    • roundtrip tests
    • integration tests
      See Running tests for more details
  • Any changes are noted in the CHANGELOG.md for affected package
    • cardano-node-chairman, cardano-submit-api and cardano-testnet instead need a
      changelog fragment in <package>/.changes/, because their CHANGELOG.md is generated
      from fragments at release time. Copy _TEMPLATE.yml from that directory, or run
      nix run github:input-output-hk/cardano-dev#herald -- new
  • The version bounds in .cabal files are updated
  • CI passes. See note on CI. The following CI checks are required:
    • Code is linted with hlint. See .github/workflows/check-hlint.yml to get the hlint version
    • Code is formatted with stylish-haskell. See .github/workflows/stylish-haskell.yml to get the stylish-haskell version
    • Code builds on Linux, MacOS and Windows for ghc-9.6 and ghc-9.12
  • Self-reviewed the diff

Note on CI

If your PR is from a fork, the necessary CI jobs won't trigger automatically for security reasons.
You will need to get someone with write privileges. Please contact IOG node developers to do this
for you.

@erikd erikd added the no-changelog-needed This PR doesn't need a change log entry. label Aug 5, 2026
@erikd
erikd requested review from a team as code owners August 5, 2026 08:03
@erikd erikd added no-changelog-needed This PR doesn't need a change log entry. and removed no-changelog-needed This PR doesn't need a change log entry. labels Aug 5, 2026
@erikd erikd removed the no-changelog-needed This PR doesn't need a change log entry. label Aug 5, 2026
@erikd
erikd force-pushed the erikd/updates branch 2 times, most recently from 33477d8 to d832c00 Compare August 5, 2026 23:20
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