Skip to content

Updated cabal.project file#5277

Merged
coot merged 3 commits intorelease/ouroboros-network-0.21from
coot/ouroboros-network-0.21.6-cabal-project
Feb 2, 2026
Merged

Updated cabal.project file#5277
coot merged 3 commits intorelease/ouroboros-network-0.21from
coot/ouroboros-network-0.21.6-cabal-project

Conversation

@coot
Copy link
Copy Markdown
Collaborator

@coot coot commented Jan 5, 2026

Description

Updated index-state, allow QuickCheck >= 2.14.

Checklist

Quality

  • Commit sequence makes sense and have useful messages, see ref.
  • New tests are added and existing tests are updated.
  • Self-reviewed the PR.

Maintenance

  • Linked an issue or added the PR to the current sprint of ouroboros-network project.
  • Added labels.
  • Updated changelog files.
  • The documentation has been properly updated, see ref.

@coot coot requested a review from a team as a code owner January 5, 2026 09:25
@github-project-automation github-project-automation Bot moved this to In Progress in Ouroboros Network Jan 5, 2026
@coot coot added the release Issues / PRs related releases. label Jan 5, 2026
@coot coot enabled auto-merge January 5, 2026 09:27
the-headless-ghost
the-headless-ghost approved these changes Jan 5, 2026
View reviewed changes
Copy link
Copy Markdown
Contributor

@the-headless-ghost the-headless-ghost left a comment

Choose a reason for hiding this comment

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

LGTM

karknu
karknu reviewed Jan 5, 2026
View reviewed changes
Copy link
Copy Markdown
Contributor

@karknu karknu left a comment

Choose a reason for hiding this comment

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

Aren't the timestamps a bit old?

For example ouroboros-network-api is at december 2025.

@coot coot disabled auto-merge January 5, 2026 09:39
@coot
cabal.project changes
f5ce46e 
Updated `index-state`, allow `QuickCheck >= 2.14`.
@coot coot force-pushed the coot/ouroboros-network-0.21.6-cabal-project branch from 3ef377a to f5ce46e Compare January 5, 2026 10:15
@coot coot requested a review from a team as a code owner January 5, 2026 10:15
@coot
Copy link
Copy Markdown
Collaborator Author

coot commented Jan 5, 2026

December 2025 was just a few days ago.

@coot coot enabled auto-merge January 9, 2026 08:16
@coot
random upper bound
b6f09dc 
1.3 deprecated `split`
@coot coot force-pushed the coot/ouroboros-network-0.21.6-cabal-project branch from 01eccd2 to b6f09dc Compare January 28, 2026 08:15
@coot coot force-pushed the coot/ouroboros-network-0.21.6-cabal-project branch from ec28bae to 49afc1c Compare January 30, 2026 16:30
@coot coot merged commit f0f1be3 into release/ouroboros-network-0.21 Feb 2, 2026
16 of 17 checks passed
@coot coot deleted the coot/ouroboros-network-0.21.6-cabal-project branch February 2, 2026 13:53
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Ouroboros Network Feb 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@karknu karknu karknu left review comments

+1 more reviewer

@the-headless-ghost the-headless-ghost the-headless-ghost approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

release Issues / PRs related releases.

Projects

Ouroboros Network
Status: Done

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@coot @karknu @the-headless-ghost