Skip to content

Changes to window-stats library - #5423

Merged
coot merged 4 commits into
mw/window-statsfrom
coot/window-stats
Aug 28, 2026
Merged

Changes to window-stats library#5423
coot merged 4 commits into
mw/window-statsfrom
coot/window-stats

Conversation

@coot

@coot coot commented Aug 28, 2026

Copy link
Copy Markdown
Contributor

Description

  • fingertree constraint
  • Added null implementations
  • Dropped KnownNat constraint where it's not necessary
  • Using fish operator (can be dropped)

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 August 28, 2026 13:14
@github-project-automation github-project-automation Bot moved this to In Progress in Ouroboros Network Aug 28, 2026

@crocodile-dentist crocodile-dentist 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 merged commit 19148df into mw/window-stats Aug 28, 2026
10 of 12 checks passed
@coot
coot deleted the coot/window-stats branch August 28, 2026 14:33
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Ouroboros Network Aug 28, 2026
@coot coot self-assigned this Aug 28, 2026
@coot coot changed the title Small changes to window-stats library Changes to window-stats library Sep 1, 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.

2 participants