Skip to content

chore(main): release 0.3.1#33

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

chore(main): release 0.3.1#33
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

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

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.3.1 (2026-07-17)

Documentation / Dokumentation

  • synchronize active Level-2 environment registry (cbfc119)

Maintenance / Wartung

  • adopt standard seven governance presets (2a0390a)
  • migrate to Antigravity CLI (5127466)
  • sync agentic maintenance package (3f0b1eb)
  • toolchain: propagate PSScriptAnalyzer baseline (1f0107a)
  • toolchain: sync agentic maintenance baseline (ae784d5)

This PR was generated with Release Please. See documentation.

@github-actions
github-actions Bot force-pushed the release-please--branches--main branch 4 times, most recently from 5873cce to bd2e3c0 Compare July 16, 2026 12:33
@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from bd2e3c0 to 71a6228 Compare July 17, 2026 20:28
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