Skip to content

Conversation

@jajera
Copy link
Collaborator

@jajera jajera commented Dec 15, 2025

adds markdown linter

adds markdown linter
@jajera jajera self-assigned this Dec 15, 2025
@jajera jajera added the documentation Improvements or additions to documentation label Dec 15, 2025
@jajera jajera linked an issue Dec 15, 2025 that may be closed by this pull request
@jajera jajera merged commit 130b86f into main Dec 15, 2025
11 checks passed
@jajera jajera deleted the 3-add-markdown-linter-workflow branch December 15, 2025 08:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

add markdown linter workflow

1 participant