Repository navigation

Release on v* tag push - #3

Merged

ghosthack merged 14 commits into

mainfrom

claude/clever-ptolemy-key2ws

Nov 7, 2026

Merged

Release on v* tag push#3
ghosthack merged 14 commits into
mainfrom
claude/clever-ptolemy-key2ws

Commits on Nov 7, 2026
- Bound HTML table width and give each cache caller its own future
  claude
  committed
  0c90b00
- Remember the scrolled-to row until the views have laid out
  claude
  committed
  94148e8
- Let modified keys pass through BlockView's scroll keys
  claude
  committed
  fb1cc77
- Let modified Space pass through XmlTreeView's branch toggle
  claude
  committed
  a2450a9
- Pin the release to the published commit and fence the signing key
  claude
  committed
  2be9383
- Ship the MIT notices of bundled grammars and TM4E's origins
  claude
  committed
  a8fd339
- Drop the maven-central environment from the release workflow
  claude
  committed
  f226fb2
- Charge highlight budgets for search time and cap each call
  claude
  committed
  e3b8e5c
- Fix four Markdown and HTML display mismatches
  claude
  committed
  69f3d27
- Run the macOS CI job on macos-15
  claude
  committed
  b69293e
- Bump version to 0.3.0
  claude
  committed
  eb15ffc
- Merge the already-merged review branch history (no changes)
  claude
  committed
  69ef286
- Release on v* tag push instead of a published GitHub release
  claude
  committed
  c0c31f1
- Merge the already-merged branch history (no changes)
  claude
  committed
  a6ef8e5