Skip to content

Conversation

@codello
Copy link
Collaborator

@codello codello commented Jul 21, 2025

What does this PR do?

This PR adds linting of markdown files via GitHub Actions.

Closes Issue(s)

None

Motivation

I'd like to ensure a consistent formatting style within this repo. Linting helps to make that possible.

I'd like to add additional linting (for example for the website code) later on.

More

This PR will cause some merge conflicts with #86, but those should be easily resolved. Preferably this PR is merged before #86.

Additional Notes

This PR also modifies the specification files and some other files to make them conform to the proposed linting rules. There are no semantic changes.

@codello codello self-assigned this Jul 21, 2025
@codello codello added the Processes affects processes label Jul 21, 2025
Linting allows us to ensure a more consistent formatting style of markdown files.
Copy link
Collaborator

@marwin89 marwin89 left a comment

Choose a reason for hiding this comment

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

Approved, looks good ✅

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Processes affects processes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants