Skip to content

chore: Release packages - #546

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
release/2026-08-07T07-59-05Z
Open

chore: Release packages#546
github-actions[bot] wants to merge 1 commit into
mainfrom
release/2026-08-07T07-59-05Z

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

🤖 New release

  • pumpkin-checking: 0.5.0 -> 0.5.1
  • pumpkin-core: 0.5.0 -> 0.5.1 (✓ API compatible changes)
  • pumpkin-conflict-resolvers: 0.5.0 -> 0.5.1 (✓ API compatible changes)
  • pumpkin-propagators: 0.5.0 -> 0.5.1 (✓ API compatible changes)
  • pumpkin-constraints: 0.5.0 -> 0.5.1
  • pumpkin-solver: 0.5.0 -> 0.5.1 (✓ API compatible changes)
  • pumpkin-checker: 0.5.0 -> 0.5.1 (✓ API compatible changes)

This PR was generated with release-plz.

@github-actions
github-actions Bot force-pushed the release/2026-08-07T07-59-05Z branch 2 times, most recently from 05cea93 to 6be8d5a Compare August 7, 2026 08:11
@github-actions
github-actions Bot force-pushed the release/2026-08-07T07-59-05Z branch 4 times, most recently from 22a6a37 to 8bbdced Compare August 31, 2026 09:58
@github-actions
github-actions Bot force-pushed the release/2026-08-07T07-59-05Z branch from 8bbdced to b79bd29 Compare August 31, 2026 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants