Skip to content

Migrate constrained-generators to its own repo#5171

Merged
MaximilianAlgehed merged 1 commit intomasterfrom
migrate-constrained
Jul 16, 2025
Merged

Migrate constrained-generators to its own repo#5171
MaximilianAlgehed merged 1 commit intomasterfrom
migrate-constrained

Conversation

@MaximilianAlgehed
Copy link
Contributor

@MaximilianAlgehed MaximilianAlgehed commented Jul 16, 2025

Description

Checklist

  • Commits in meaningful sequence and with useful messages.
  • Tests added or updated when needed.
  • CHANGELOG.md files updated for packages with externally visible changes.
    NOTE: New section is never added with the code changes. (See RELEASING.md).
  • Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
    versioning process.
  • Version bounds in .cabal files updated when necessary.
    NOTE: If bounds change in a cabal file, that package itself must have a version increase. (See RELEASING.md).
  • Code formatted (use scripts/fourmolize.sh).
  • Cabal files formatted (use scripts/cabal-format.sh).
  • CDDL files are up to date (use scripts/gen-cddl.sh)
  • hie.yaml updated (use scripts/gen-hie.sh).
  • Self-reviewed the diff.

@MaximilianAlgehed MaximilianAlgehed requested a review from a team as a code owner July 16, 2025 06:17
@MaximilianAlgehed MaximilianAlgehed force-pushed the migrate-constrained branch 3 times, most recently from 63d2fca to 6d69997 Compare July 16, 2025 06:25
Copy link
Collaborator

@lehins lehins left a comment

Choose a reason for hiding this comment

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

Very nice!

@MaximilianAlgehed MaximilianAlgehed merged commit 2d7353b into master Jul 16, 2025
247 of 249 checks passed
@MaximilianAlgehed MaximilianAlgehed deleted the migrate-constrained branch July 16, 2025 17:31
@neilmayhew
Copy link
Contributor

The srp in cabal.project is missing a --sha256 comment field for nix. I'll open a PR for that.

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.

3 participants