Skip to content

Add CI workflow to check Markdown files for problems #27

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 1, 2022

Conversation

MatteoPologruto
Copy link
Contributor

On every push and pull request that affects relevant files, and periodically, check the repository's Markdown files for
problems:

The Arduino tooling Markdown style is defined by the .markdownlint.yml file.

In the event the repository contains externally maintained Markdown files, markdownlint can be configured to ignore them via a .markdownlintignore file:
https://github.com/igorshubovych/markdownlint-cli#ignoring-files

markdown-link-check is configured via the .markdown-link-check.json file:
https://github.com/tcort/markdown-link-check#config-file-format

On every push and pull request that affects relevant files, and periodically, check the repository's Markdown files for
problems:

- Use markdownlint to check for common problems and formatting.
- Use markdown-link-check to check for broken links.

The Arduino tooling Markdown style is defined by the  file.

In the event the repository contains externally maintained Markdown files, markdownlint can be configured to ignore them
via a  file:
https://github.com/igorshubovych/markdownlint-cli#ignoring-files

markdown-link-check is configured via the  file:
https://github.com/tcort/markdown-link-check#config-file-format
@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Jul 30, 2022
Copy link
Contributor

@per1234 per1234 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks Matteo!

@MatteoPologruto MatteoPologruto merged commit 0de8a7a into master Aug 1, 2022
@MatteoPologruto MatteoPologruto deleted the check-markdown branch August 1, 2022 07:06
@MatteoPologruto MatteoPologruto self-assigned this Aug 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants