Skip to content

chore: ignore local built files for stylelint#846

Open
oeninghe-dataport wants to merge 1 commit into
nextfrom
stylelint/ignore-gitignore
Open

chore: ignore local built files for stylelint#846
oeninghe-dataport wants to merge 1 commit into
nextfrom
stylelint/ignore-gitignore

Conversation

@oeninghe-dataport

Copy link
Copy Markdown
Collaborator

Summary

When there are local built files (**/dist/**.css, .dist.preview/**.css, docs-html/**.css etc.), they should not be linted.
As we already have a list of these files in .gitignore, we'll use that as a base for stylelint, too.

Instructions for local reproduction and review

Add the following dist/my.css:

thisinvalidhtmltag {
    with-an-invalid-attribute: var(--uses-an-invalid-var);
}

@oeninghe-dataport oeninghe-dataport added this to the POLAR@3 milestone Jul 3, 2026
@oeninghe-dataport oeninghe-dataport self-assigned this Jul 3, 2026
@oeninghe-dataport oeninghe-dataport requested a review from a team July 3, 2026 15:39
@oeninghe-dataport oeninghe-dataport added the bug Something isn't working label Jul 3, 2026
@oeninghe-dataport oeninghe-dataport added the testing Pertaining to tests label Jul 3, 2026
@github-actions

github-actions Bot commented Jul 3, 2026

Copy link
Copy Markdown
PR Preview Action v1.8.1

QR code for preview link

🚀 View preview at
https://Dataport.github.io/polar/pr-preview/pr-846/

Built to branch gh-pages at 2026-07-03 15:41 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

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

Labels

bug Something isn't working testing Pertaining to tests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant