Skip to content

release: v0.15.1 - #200

Merged
wiiiimm (wiiiimm) merged 1 commit into
mainfrom
release
Sep 12, 2026
Merged

release: v0.15.1#200
wiiiimm (wiiiimm) merged 1 commit into
mainfrom
release

Conversation

@altabella

Copy link
Copy Markdown
Member

Merging this cuts v0.15.1.

It tags the merge commit and starts release.yml there: three
platforms built and tested, checked for anything dynamically
linked beyond the C runtime, tarballed with checksums,
published to npm, then attached to a GitHub Release so
npx opscope is this version.

This PR rewrites itself on every merge to main. Do not commit
to it - the branch is force-pushed - and edit the changelog on
main instead if something reads badly.


[0.15.1] - 2026-09-12

Bug Fixes

Documentation

The manifest moves ahead of the tag so the tag can point at a
commit whose version already matches it. release.yml checks
they agree and refuses to build otherwise, which is only a
meaningful check when nothing in the pipeline edits the
manifest on the way past.

Prepared by the release-pr workflow. Merging this is the
release.
@coderabbitai

coderabbitai Bot commented Sep 12, 2026

Copy link
Copy Markdown

Important

  • 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: d8d1439a-8cca-45a3-877d-42b55768b927


Comment @coderabbitai help to get the list of available commands.

@greptile-apps

greptile-apps Bot commented Sep 12, 2026

Copy link
Copy Markdown

RetriggerConfidence Score: 5/5

The release metadata is internally consistent and appears safe to merge.

Summary

  • Updates the workspace and internal crate versions from 0.15.0 to 0.15.1.
  • Keeps the lockfile and opscope-widgets dependency requirement synchronized.
  • Adds the v0.15.1 bug-fix and documentation entries to the changelog.

Reviews (1) · Last reviewed commit: "release: v0.15.1"

@wiiiimm
wiiiimm (wiiiimm) merged commit 2348dde into main Sep 12, 2026
11 checks passed
@wiiiimm
wiiiimm (wiiiimm) deleted the release branch September 12, 2026 16:01
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