Skip to content

Add repository linting workflow - #59

Merged
Íñigo Goiri (goiri) merged 2 commits into
masterfrom
copilot/setup-linting
Oct 1, 2026
Merged

Íñigo Goiri (goiri) merged 2 commits into
masterfrom
copilot/setup-linting

Conversation

Copilot AI commented Oct 1, 2026 •

Copy link
Copy Markdown
Contributor

Add a GitHub Actions linting check for JSON, Markdown, and other repository file types.

  • Workflow: Run Super-Linter on pushes and pull requests targeting master.
  • Coverage: Validate changed JSON, Markdown, YAML, and Python files.

Copilot AI linked an issue Oct 1, 2026 that may be closed by this pull request
Copilot AI changed the title [WIP] Setup linting for JSON and markdown files Add repository linting workflow Oct 1, 2026
@goiri
Íñigo Goiri (goiri) marked this pull request as ready for review October 1, 2026 21:03
@goiri
Íñigo Goiri (goiri) merged commit 215becd into master Oct 1, 2026
2 checks passed
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.

Setup linting

2 participants