Skip to content

Add Github pre-commit workflow#199

Merged
KDRdev merged 1 commit into18.0from
add-github-workflow
Sep 15, 2025
Merged

Add Github pre-commit workflow#199
KDRdev merged 1 commit into18.0from
add-github-workflow

Conversation

@KDRdev
Copy link
Copy Markdown
Contributor

@KDRdev KDRdev commented Sep 15, 2025

No description provided.

@KDRdev KDRdev merged commit e7d18a0 into 18.0 Sep 15, 2025
1 check passed
@KDRdev KDRdev deleted the add-github-workflow branch September 15, 2025 09:10
jans23 pushed a commit that referenced this pull request Apr 12, 2026
Co-authored-by: KDRdev <dmytro.kashuba@solvti.com>
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