Skip to content

chore: make lint a separate ci workflow#194

Merged
efiop merged 2 commits intomainfrom
ruslan/lint-step
Jan 23, 2026
Merged

chore: make lint a separate ci workflow#194
efiop merged 2 commits intomainfrom
ruslan/lint-step

Conversation

@efiop
Copy link
Contributor

@efiop efiop commented Jan 23, 2026

No description provided.

efiop and others added 2 commits January 23, 2026 17:44
…n permissions

Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>
@efiop efiop merged commit c1dceb9 into main Jan 23, 2026
7 of 10 checks passed
@efiop efiop deleted the ruslan/lint-step branch January 23, 2026 15:52
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.

1 participant