Skip to content

Make it build with ghc-9.14 - #6638

Merged
erikd merged 3 commits into
masterfrom
erikd/updates
Aug 11, 2026
Merged

Make it build with ghc-9.14#6638
erikd merged 3 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 3 times, most recently from d832c00 to e6d6d42 Compare August 5, 2026 23:29
@erikd
erikd force-pushed the erikd/updates branch 3 times, most recently from 4519f0d to 8528a07 Compare August 6, 2026 22:00
@Jimbo4350
Jimbo4350 self-requested a review August 7, 2026 12:41
@erikd
erikd force-pushed the erikd/updates branch 2 times, most recently from 66a046c to d95b39d Compare August 8, 2026 22:45
@erikd
erikd added this pull request to the merge queue Aug 11, 2026
Merged via the queue into master with commit 3e138a5 Aug 11, 2026
30 of 31 checks passed
@erikd
erikd deleted the erikd/updates branch August 11, 2026 11:23
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