Skip to content

chore(deps): bump wasmparser from 0.254.0 to 0.255.0 - #905

Merged
temper-pulseengine[bot] merged 1 commit into
mainfrom
dependabot/cargo/wasmparser-0.255.0
Aug 3, 2026
Merged

chore(deps): bump wasmparser from 0.254.0 to 0.255.0#905
temper-pulseengine[bot] merged 1 commit into
mainfrom
dependabot/cargo/wasmparser-0.255.0

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Aug 3, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Bumps wasmparser from 0.254.0 to 0.255.0.

Commits

@dependabot dependabot Bot added the dependencies Dependency updates label Aug 3, 2026
@temper-pulseengine
temper-pulseengine Bot enabled auto-merge (squash) August 3, 2026 21:45
@github-actions

github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown

🔒 0.x MINOR bump — held for manual review. 0.254.0 → 0.255.0: for a 0.x crate the MINOR component is the de-facto major, so this is BREAKING even though Dependabot labels it semver-minor. This gap broke synth twice on ordeal (0.9→0.12 added BvTerm::Urem, breaking every exhaustive match; 0.9→0.16 in #864 landed with no CI run and left main uncompilable). Build EVERY affected feature set (incl. --features z3-solver) and run the full synth-verify suite before merging.

@dependabot
chore(deps): bump wasmparser from 0.254.0 to 0.255.0
620c743 
Bumps [wasmparser](https://github.com/bytecodealliance/wasm-tools) from 0.254.0 to 0.255.0.
- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)
- [Commits](https://github.com/bytecodealliance/wasm-tools/commits)

---
updated-dependencies:
- dependency-name: wasmparser
  dependency-version: 0.255.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot
dependabot Bot force-pushed the dependabot/cargo/wasmparser-0.255.0 branch from 49db102 to 620c743 Compare August 3, 2026 21:59
@github-actions

github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown

🔒 0.x MINOR bump — held for manual review. 0.254.0 → 0.255.0: for a 0.x crate the MINOR component is the de-facto major, so this is BREAKING even though Dependabot labels it semver-minor. This gap broke synth twice on ordeal (0.9→0.12 added BvTerm::Urem, breaking every exhaustive match; 0.9→0.16 in #864 landed with no CI run and left main uncompilable). Build EVERY affected feature set (incl. --features z3-solver) and run the full synth-verify suite before merging.

@temper-pulseengine
temper-pulseengine Bot merged commit 538dea4 into main Aug 3, 2026
52 of 53 checks passed
@temper-pulseengine
temper-pulseengine Bot deleted the dependabot/cargo/wasmparser-0.255.0 branch August 3, 2026 22:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

dependencies Dependency updates

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants