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

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

  • fzn-rs-derive: 0.1.2 -> 0.1.3
  • fzn-rs: 0.1.2 -> 0.1.3 (✓ API compatible changes)
  • pumpkin-checking: 0.5.0 -> 0.6.0
  • pumpkin-core: 0.5.0 -> 0.6.0 (⚠ API breaking changes)
  • pumpkin-conflict-resolvers: 0.5.0 -> 0.6.0 (✓ API compatible changes)
  • pumpkin-propagators: 0.5.0 -> 0.6.0 (✓ API compatible changes)
  • pumpkin-constraints: 0.5.0 -> 0.6.0
  • pumpkin-solver: 0.5.0 -> 0.6.0 (✓ API compatible changes)
  • pumpkin-checker: 0.5.0 -> 0.6.0 (✓ API compatible changes)

pumpkin-core breaking changes

--- failure enum_variant_added: enum variant added on exhaustive enum ---

Description:
A publicly-visible enum without #[non_exhaustive] has a new variant.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.50.0/src/lints/enum_variant_added.ron

Failed in:
  variant Priority:UltraLow in /tmp/.tmpUvERZq/Pumpkin/pumpkin-crates/core/src/propagation/propagator.rs:255
  variant Priority:Lowest in /tmp/.tmpUvERZq/Pumpkin/pumpkin-crates/core/src/propagation/propagator.rs:256

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 8 times, most recently from 1e02998 to fc332d8 Compare September 3, 2026 05:45
@github-actions
github-actions Bot force-pushed the release/2026-08-07T07-59-05Z branch 2 times, most recently from d332152 to d426a88 Compare September 10, 2026 10:13
@github-actions
github-actions Bot force-pushed the release/2026-08-07T07-59-05Z branch from d426a88 to 288d1e1 Compare September 10, 2026 10:16
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