Skip to content

chore(main): release 1.3.0 - #45

Merged
gavinsharp merged 1 commit into
mainfrom
release-please--branches--main
Jul 10, 2026
Merged

chore(main): release 1.3.0#45
gavinsharp merged 1 commit into
mainfrom
release-please--branches--main

chore(main): release 1.3.0

185e33c
Select commit
Loading
Failed to load commit list.
Cursor / Cursor Bugbot succeeded Jul 10, 2026 in 28s

Bugbot Review

Bugbot Analysis Progress (29s elapsed)

✅ Gathered PR context (1s)
✅ Completed bug detection (28s)
✅ Posted analysis results (1s)

Final Result: Bugbot completed review - no issues found! ✅

Request ID: serverGenReqId_18daf37a-3a64-4f8a-9bbe-67e36a217293

Details