Skip to content

chore: release main#268

Merged
theagenticguy merged 1 commit into
mainfrom
release-please--branches--main
Jun 30, 2026
Merged

chore: release main#268
theagenticguy merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

🤖 Automated release via release-please

root: 0.10.5

0.10.5 (2026-06-30)

Features

  • eval: pack --variance-probe — measure the variance an OCH pack removes (Move 2) (#269) (278702a)
  • frameworks: wire stage-5 import/SCIP detection into the profile phase (#267) (6b4d122)
  • pack: codehub replay — decision-equivalence structural check (Move 6) (#270) (f97b417)
cli: 0.10.5

0.10.5 (2026-06-30)

Features

  • eval: pack --variance-probe — measure the variance an OCH pack removes (Move 2) (#269) (278702a)
  • pack: codehub replay — decision-equivalence structural check (Move 6) (#270) (f97b417)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot force-pushed the release-please--branches--main branch from 19d44aa to c82ef52 Compare June 30, 2026 13:01
@theagenticguy theagenticguy merged commit a2113cd into main Jun 30, 2026
@theagenticguy theagenticguy deleted the release-please--branches--main branch June 30, 2026 13:25
@github-actions

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant