Skip to content

Conversation

@erikd
Copy link
Contributor

@erikd erikd commented Oct 17, 2025

Description

Currently using ghc-9.14.0.20251007.

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.

@erikd erikd requested a review from a team as a code owner October 17, 2025 05:04
@github-project-automation github-project-automation bot moved this to In Progress in Ouroboros Network Oct 17, 2025
@erikd erikd marked this pull request as draft October 17, 2025 05:04
@erikd
Copy link
Contributor Author

erikd commented Oct 17, 2025

Will update the Nix flakes when this is no longer a draft PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: In Progress

Development

Successfully merging this pull request may close these issues.

1 participant