Skip to content

Fix CI - #232

Merged
mpivchev merged 1 commit into
mainfrom
ci
Jul 13, 2026
Merged

Fix CI#232
mpivchev merged 1 commit into
mainfrom
ci

Conversation

@mpivchev

Copy link
Copy Markdown
Collaborator

🤖 AI (if applicable)

  • The content of this PR was partly or fully generated using AI
Signed-off-by: Milen Pivchev <milen.pivchev@gmail.com>
@mpivchev
mpivchev merged commit 4ffd531 into main Jul 13, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant