Skip to content

Add pipeline for linting and formatting#120

Merged
jakubno merged 3 commits intomainfrom
add-lint-pipeline
Aug 31, 2025
Merged

Add pipeline for linting and formatting#120
jakubno merged 3 commits intomainfrom
add-lint-pipeline

Commits

Commits on Aug 31, 2025