Skip to content

[code-infra] Replace jsonlint with @eslint/json #2964

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 6 commits into from
Oct 14, 2025
Merged

[code-infra] Replace jsonlint with @eslint/json #2964

merged 6 commits into from
Oct 14, 2025

Conversation

@Janpot
Copy link
Member

@Janpot Janpot commented Oct 10, 2025

Adapting to changes for mui/mui-public#746

@Janpot Janpot added the scope: code-infra Involves the code-infra product (https://www.notion.so/mui-org/5562c14178aa42af97bc1fa5114000cd). label Oct 10, 2025
@pkg-pr-new
Copy link

pkg-pr-new bot commented Oct 10, 2025 •
edited
Loading

vite-css-base-ui-example

pnpm add https://pkg.pr.new/mui/base-ui/@base-ui-components/react@2964

pnpm add https://pkg.pr.new/mui/base-ui/@base-ui-components/utils@2964

commit: 61d99d2

@netlify
Copy link

netlify bot commented Oct 10, 2025 •
edited
Loading

✅ Deploy Preview for base-ui ready!

Name Link
🔨 Latest commit 61d99d2
🔍 Latest deploy log https://app.netlify.com/projects/base-ui/deploys/68ee5a07b2da8e0008d3e6a1
😎 Deploy Preview https://deploy-preview-2964--base-ui.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

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

@mui-bot
Copy link

mui-bot commented Oct 10, 2025 •
edited
Loading

Bundle size report

Bundle Parsed size Gzip size
@base-ui-components/react 0B(0.00%) 0B(0.00%)

Details of bundle changes

@Janpot Janpot mentioned this pull request Oct 10, 2025
Merged
@Janpot Janpot requested a review from a team October 10, 2025 12:51
@Janpot Janpot marked this pull request as ready for review October 10, 2025 14:43
@github-actions github-actions bot added the PR: out-of-date The pull request has merge conflicts and can't be merged. label Oct 13, 2025
@github-actions github-actions bot removed the PR: out-of-date The pull request has merge conflicts and can't be merged. label Oct 14, 2025
@Janpot Janpot enabled auto-merge (squash) October 14, 2025 14:12
@Janpot Janpot merged commit b70db66 into mui:master Oct 14, 2025
20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@brijeshb42 brijeshb42 brijeshb42 approved these changes

@atomiks atomiks Awaiting requested review from atomiks atomiks is a code owner

@michaldudak michaldudak Awaiting requested review from michaldudak michaldudak is a code owner

Assignees

No one assigned

Labels

scope: code-infra Involves the code-infra product (https://www.notion.so/mui-org/5562c14178aa42af97bc1fa5114000cd).

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@Janpot @mui-bot @brijeshb42