Skip to content

chore(main): release 1.1.3#33

Merged
anonrig merged 1 commit intomainfrom
release-please--branches--main
Feb 5, 2026
Merged

chore(main): release 1.1.3#33
anonrig merged 1 commit intomainfrom
release-please--branches--main

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Feb 3, 2026

🤖 I have created a release beep boop

1.1.3 (2026-02-04)

Bug Fixes

  • unconditionally include vector (ba39e40)
  • use more strict compiler flags (fc401e3)

This PR was generated with Release Please. See documentation.

@github-actions github-actions bot force-pushed the release-please--branches--main branch from c18b6d9 to 89f1022 Compare February 4, 2026 12:41
@anonrig anonrig merged commit c569580 into main Feb 5, 2026
@anonrig anonrig deleted the release-please--branches--main branch February 5, 2026 21:13
@github-actions
Copy link
Contributor Author

github-actions bot commented Feb 5, 2026

🤖 Created releases:

🌻

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.

1 participant