Skip to content

chore(main): release 0.7.1#12

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

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

chore(main): release 0.7.1

e73fe0a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

6 errors and 1 warning
Python Tests
succeeded Jun 28, 2026 in 15s