Skip to content

chore(release): bump version to 0.22.0 - #555

Merged
HappyDevs1 merged 1 commit into
mainfrom
release/0.22.0
Sep 7, 2026
Merged

chore(release): bump version to 0.22.0#555
HappyDevs1 merged 1 commit into
mainfrom
release/0.22.0

Conversation

@HappyDevs1

@HappyDevs1 HappyDevs1 commented Sep 7, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Bumps all six version-agree locations (Cargo.toml, Cargo.lock, sdk/python/pyproject.toml, sdk/python/flowproof/init.py, sdk/js/package.json + optionalDependencies) from 0.21.0 to 0.22.0
  • Moves CHANGELOG's Unreleased content into a new 0.22.0 section, adding entries for the autonomous flow repair loop, its timing-race and engine-gap-retry refinements, the CLI update-check notice, and the trace side_effect lane

Test plan

  • cargo fmt --check
  • cargo clippy --workspace --all-targets --exclude flowproof-python -- -D warnings
  • CI versions agree job passes
  • After merge: tag v0.22.0 on main to trigger publish.yml / publish-npm.yml

https://claude.ai/code/session_014DBCXghioodAVbbyuyCCWW

Rust crates, Python wheel, and npm package move together. The
autonomous flow repair loop (record diagnoses a live failure and asks
the model for a minimal flow edit), its timing-race and engine-gap-retry
refinements, the CLI update-check notice, and the trace side_effect
lane land as 0.22.0.

Claude-Session: https://claude.ai/code/session_014DBCXghioodAVbbyuyCCWW
Copilot AI lite review requested due to automatic review settings September 7, 2026 07:03

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@HappyDevs1
HappyDevs1 merged commit 68974ed into main Sep 7, 2026
9 checks passed
@HappyDevs1
HappyDevs1 deleted the release/0.22.0 branch September 7, 2026 07:39
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.

2 participants