Skip to content

chore(main): release 0.7.2#14

Merged
jorisjonkers-dev-agents[bot] merged 1 commit into
mainfrom
release-please--branches--main
Jun 28, 2026
Merged

chore(main): release 0.7.2#14
jorisjonkers-dev-agents[bot] merged 1 commit into
mainfrom
release-please--branches--main

chore(main): release 0.7.2

9308dc2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
YAML Validity
succeeded Jun 28, 2026 in 10s