Skip to content

Replace super-linter with dedicated linter images - #588

Merged
SeanTAllen merged 3 commits into
mainfrom
replace-superlinter
Aug 10, 2026
Merged

Replace super-linter with dedicated linter images#588
SeanTAllen merged 3 commits into
mainfrom
replace-superlinter

Conversation

@SeanTAllen

Copy link
Copy Markdown
Member

Replace the super-linter Docker image with a dedicated markdownlint image from shared-docker. Faster CI — small purpose-built image instead of the 2GB+ super-linter.

@netlify

netlify Bot commented Aug 10, 2026

Copy link
Copy Markdown

Deploy Preview for pony-tutorial ready!

Name Link
🔨 Latest commit 6c8cfa8
🔍 Latest deploy log https://app.netlify.com/projects/pony-tutorial/deploys/6a794d89e8abd400084c7668
😎 Deploy Preview https://deploy-preview-588--pony-tutorial.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.
🤖 Make changes Run an agent on this branch

To edit notification comments on pull requests, go to your Netlify project configuration.

@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Aug 10, 2026
These rules (strong-style and table-column-count) are enforced by
markdownlint-cli2 v0.17.2 but weren't present in super-linter v3.8.3.
Disable them to keep the migration mechanical — no content changes.
@SeanTAllen
SeanTAllen merged commit 874c45e into main Aug 10, 2026
9 checks passed
@SeanTAllen
SeanTAllen deleted the replace-superlinter branch August 10, 2026 04:04
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Aug 10, 2026
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.

2 participants