Skip to content

io-classes-1.11, new release of typed-protocols - #95

Merged
coot merged 4 commits into
mainfrom
coot/io-classes-1.11
Aug 24, 2026
Merged

coot merged 4 commits into
mainfrom
coot/io-classes-1.11

Conversation

@coot

@coot coot commented Aug 21, 2026

Copy link
Copy Markdown
Collaborator
  • io-classes-1.11
  • QuickCheck-2.18 support
  • Added changelog item
  • typed-protocols-1.2.2.0

@coot
coot requested a review from a team as a code owner August 21, 2026 13:48
@coot coot changed the title coot/io classes 1.11 io-classes-1.11, new release of typed-protocols Aug 21, 2026
@coot coot self-assigned this Aug 21, 2026
@github-project-automation github-project-automation Bot moved this to In Progress in Ouroboros Network Aug 21, 2026
@coot
coot requested a lite review from Copilot August 21, 2026 16:51

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

Releases typed-protocols 1.2.2.0 with io-classes-1.11 and QuickCheck 2.18 support.

Changes:

  • Updates package version and dependency bounds.
  • Adds QuickCheck-compatible test handling.
  • Updates the changelog and Cabal index state.

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Show a summary per file
File Summary
typed-protocols/typed-protocols.cabal Updates version and io-classes bounds.
typed-protocols/test/Network/TypedProtocol/ReqResp/Tests.hs Adds QuickCheck compatibility handling.
typed-protocols/test/Network/TypedProtocol/PingPong/Tests.hs Adds QuickCheck compatibility handling.
typed-protocols/CHANGELOG.md Records the 1.2.2.0 release.
cabal.project Updates the package index state.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@karknu karknu left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM

@coot
coot added this pull request to the merge queue Aug 24, 2026
Merged via the queue into main with commit 8fa4ed2 Aug 24, 2026
32 of 33 checks passed
@coot
coot deleted the coot/io-classes-1.11 branch August 24, 2026 13:03
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Ouroboros Network Aug 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants