Skip to content

Release 0.32.0 - #695

Open
filipeom wants to merge 1 commit into
mainfrom
release/v0.32.0
Open

Release 0.32.0#695
filipeom wants to merge 1 commit into
mainfrom
release/v0.32.0

Conversation

@filipeom

@filipeom filipeom commented Oct 5, 2026

Copy link
Copy Markdown
Member

Automated Release 0.32.0

@filipeom
filipeom requested a review from a team as a code owner October 5, 2026 18:14
@coderabbitai

coderabbitai Bot commented Oct 5, 2026 •
edited
Loading

Copy link
Copy Markdown

Review in Change Stack →

Navigate logical layers of code changes, visualize relationships, and explore their blast radius.

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration
  • Configuration used: Repository: formalsec/smtml/.coderabbit.yaml
  • Review profile: CHILL
  • Plan: Advanced
  • Run ID: 36c7ec66-5432-42fc-bfd6-3288a71a5860
📥 Commits

Reviewing files that changed from the base of the PR and between 141af1d and 5281bdd.

📒 Files selected for processing (3)
  • CHANGES.md
  • dune-project
  • smtml.opam

Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review.

📝 Summary

Summary by CodeRabbit

  • Release
    • The project and package version is now 0.32.0, following 0.31.0.
    • The changelog now includes a release entry dated October 1, 2026.

Walkthrough

The changelog adds a release entry for 0.31.0 dated 2026-10-01. The project and package versions change from 0.31.0 to 0.32.0.

Changes

Release metadata

Layer / File(s) Summary
Changelog and version declarations
CHANGES.md, dune-project, smtml.opam		 The changelog adds the 2026-10-01 release entry for 0.31.0. The project and package versions change to 0.32.0.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~3 minutes

Change: Other

Suggested reviewers: hra687261

Merge Risk: ⚪ Minimal · up to 5281b

The changelog correctly records 0.31.0, while the project and package declare 0.32.0. No actionable merge-blocking risk remains.

Architecture Summary

Architecture risk: 🔵 Low · up to 5281b

The change affects 3 systems.

Changed systems: CHANGES.md, dune-project, smtml.opam

Architecture concerns
No architecture-level concerns identified.

Review details

Systems and components

  • observed — CHANGES.md (service) was modified; 1 changed file maps to changed impact.
  • observed — dune-project (service) was modified; 1 changed file maps to changed impact.
  • observed — smtml.opam (service) was modified; 1 changed file maps to changed impact.

Before / after behavior

  • observed — Modified behavior in CHANGES.md: Added the 2026-10-01 release entry for version 0.31.0.
  • observed — Modified behavior in dune-project: The project version changes from 0.31.0 to 0.32.0.
  • observed — Modified behavior in smtml.opam: The package version changed from 0.31.0 to 0.32.0.
🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Title check ✅ Passed The title clearly identifies this as the 0.32.0 release, which matches the version updates in the changeset.
Description check ✅ Passed The description identifies this as an automated 0.32.0 release, which matches the changeset.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
  • Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

✨ Finishing Touches 💡 1
🛠️ Fix failing CI checks 💡
  • Commit to this branch
  • Create a new PR

@filipeom filipeom mentioned this pull request Oct 6, 2026
Merged

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@coderabbitai coderabbitai[bot] coderabbitai[bot] approved these changes

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@filipeom