Skip to content

chore(main): release 0.12.0 - #50

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

chore(main): release 0.12.0#50
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main--components--synapsis

Commits

Commits on Jul 11, 2026