Skip to content

chore(main): release 0.7.13#194

Merged
JimmyPettersson85 merged 1 commit into
mainfrom
release-please--branches--main
Oct 21, 2025
Merged

chore(main): release 0.7.13#194
JimmyPettersson85 merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.7.13 (2025-10-21)

Features

  • regenerate API clients from OpenAPI specs and fix duplicate cutoff_time (#191) (8976b59)

This PR was generated with Release Please. See documentation.

@JimmyPettersson85 JimmyPettersson85 merged commit e3dc2e5 into main Oct 21, 2025
@JimmyPettersson85 JimmyPettersson85 deleted the release-please--branches--main branch October 21, 2025 09:35
@github-actions
Copy link
Copy Markdown
Contributor Author

🤖 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