Skip to content

build: move the workspace to 0.0.11 - #119

Merged
bosd merged 1 commit into
mainfrom
build/0.0.11
Oct 31, 2026
Merged

bosd merged 1 commit into
mainfrom
build/0.0.11

Conversation

@bosd

@bosd bosd commented Oct 31, 2026

Copy link
Copy Markdown
Member

Version bump for the 0.0.11 release.

@github-actions github-actions Bot added the build Build and packaging label Oct 31, 2026
@github-actions

Copy link
Copy Markdown

Benchmark

Tool cold warm no-op
git-aggregate-rs 5.57 s → 5.51 s (-1%) 1.07 s → 1.09 s (+2%) 0.55 s → 0.54 s (-2%)
git-aggregate-rs, 1 job 10.33 s → 10.08 s (-2%) 2.72 s → 2.68 s (-1%) 1.00 s → 1.08 s (+7%)
odx aggregate --locked 5.50 s → 5.41 s (-2%) 1.12 s → 1.08 s (-3%) 0.10 s → 0.15 s (+52%)
odx aggregate --locked, 1 job 10.12 s → 9.97 s (-1%) 2.95 s → 2.72 s (-8%) 0.09 s → 0.09 s (-3%)

Base against this pull request, median of 3 runs on a GitHub runner (4 CPUs), the fixture of docs/benchmarks.md from local mirrors. Not a gate: changes within ±10% (cold) and ±20% (warm, no-op), or of 0.05 s at most, are runner noise; larger ones are in bold.

@bosd
bosd merged commit 712f0b1 into main Oct 31, 2026
28 checks passed
@bosd
bosd deleted the build/0.0.11 branch October 31, 2026 00:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build Build and packaging

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant