Skip to content

Move to common CI tools and fix linting issues#288

Merged
mstoykov merged 1 commit intomainfrom
linterFixes
Mar 13, 2026
Merged

Move to common CI tools and fix linting issues#288
mstoykov merged 1 commit intomainfrom
linterFixes

Conversation

@mstoykov
Copy link
Contributor

No description provided.

@mstoykov mstoykov requested review from a team and inancgumus and removed request for a team March 13, 2026 10:09
@mstoykov mstoykov merged commit c1167c2 into main Mar 13, 2026
16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants