Skip to content

chore(main): release metrics 0.1.6 - #1128

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main--components--metrics
Open

chore(main): release metrics 0.1.6#1128
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main--components--metrics

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 15, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.1.6 (2026-08-03)

Bug Fixes

  • skaha: adjust build configuration (60b5ba8)
  • skaha: correct session name parameter (6aa171d)

Documentation

  • metrics: ignore AI adapter dirs and fix ADR/docs cleanup (399416b)
  • metrics: retire harness and milestone plans in favor of ADRs (9bc7d92)
  • metrics: retire harness and milestone plans in favor of ADRs (0cf4955)
  • skaha: document session labels and drop planning scratch (dc95b0c)

This PR was generated with Release Please. See documentation.

@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--metrics branch 4 times, most recently from 8975621 to 752aa18 Compare July 23, 2026 23:16
@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--metrics branch 6 times, most recently from a044059 to dba3fc3 Compare July 31, 2026 18:57
@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--metrics branch from dba3fc3 to af91981 Compare August 3, 2026 03:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants