Skip to content

Pin engine at released v0.14.3 - #32

Merged
DevMando merged 1 commit into
mainfrom
chore/pin-engine-v0.14.3
Jul 29, 2026
Merged

Pin engine at released v0.14.3#32
DevMando merged 1 commit into
mainfrom
chore/pin-engine-v0.14.3

Conversation

@DevMando

Copy link
Copy Markdown
Owner

Summary

Pins the Desktop's engine at the commit tagged and released as MandoCode CLI v0.14.3 (published to NuGet today). The Desktop was already carrying all of 0.14.3's behavior from earlier pin bumps; this final bump picks up only the release documentation (restored changelog with the plain-language summary) and aligns the pin with the exact released commit — the clean starting point for the Desktop's own release.

Scope and risk

Pin bump only; upstream diff since the previous pin is documentation.

Points the harness at the tagged, NuGet-published 0.14.3 commit: per-request
num_ctx, pre-flight compaction, 16k context floor, restored changelog.
@DevMando
DevMando merged commit f87d917 into main Jul 29, 2026
1 check passed
@DevMando
DevMando deleted the chore/pin-engine-v0.14.3 branch July 29, 2026 03:57
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.

1 participant