Skip to content

chore: release 0.23.1 — protected-file portion - #405

Merged
Chris-Wolfgang merged 1 commit into
mainfrom
release/0.23.1-protected
Aug 17, 2026
Merged

Chris-Wolfgang merged 1 commit into
mainfrom
release/0.23.1-protected

Conversation

@Chris-Wolfgang

Copy link
Copy Markdown
Owner

Protected-file split for the 0.23.1 release. Admin-bypass merge this; the vNext → main release PR then passes full CI (these files match main afterward).

Files

Release sequence

  1. Admin-bypass merge this PR to main.
  2. Merge the vNext → main release PR (full CI, no protected diff remaining).
  3. Tag v0.23.1 on main and create the GitHub Release → release.yaml publishes.

🤖 Generated with Claude Code

… gate)

Protected-file split for the 0.23.1 release (Detect .NET Projects guard):
- Directory.Build.props: <Version> 0.23.0 -> 0.23.1
- pr-benchmarks.yaml: absolute-floor regression gate (#367)

Admin-bypass this, then the vNext->main release PR merges clean (these files then
match main) with full CI.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Copilot AI lite review requested due to automatic review settings August 17, 2026 03:10

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

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.

@Chris-Wolfgang Chris-Wolfgang mentioned this pull request Aug 17, 2026
@Chris-Wolfgang
Chris-Wolfgang merged commit e98ae7e into main Aug 17, 2026
17 of 19 checks passed
@Chris-Wolfgang
Chris-Wolfgang deleted the release/0.23.1-protected branch August 17, 2026 12:08
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