Skip to content

fix: update codemirror#461

Merged
amareshsm merged 1 commit into
mainfrom
renovate/codemirror
Jul 2, 2026
Merged

fix: update codemirror#461
amareshsm merged 1 commit into
mainfrom
renovate/codemirror

Conversation

@renovate

@renovate renovate Bot commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

This PR contains the following updates:

Package Change Age Confidence
@​codemirror/language ^6.12.3^6.12.4 age confidence
@​codemirror/view ^6.43.2^6.43.3 age confidence

Configuration

📅 Schedule: (UTC)

  • Branch creation
    • At any time (no schedule defined)
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@eslint-github-bot eslint-github-bot Bot added the bug Something isn't working label Jul 2, 2026
@netlify

netlify Bot commented Jul 2, 2026

Copy link
Copy Markdown

Deploy Preview for eslint-code-explorer ready!

Name Link
🔨 Latest commit 419c8a7
🔍 Latest deploy log https://app.netlify.com/projects/eslint-code-explorer/deploys/6a4647154748f900088fc0c5
😎 Deploy Preview https://deploy-preview-461--eslint-code-explorer.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.

@amareshsm amareshsm left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM

@amareshsm amareshsm merged commit f7ac0be into main Jul 2, 2026
11 checks passed
@amareshsm amareshsm deleted the renovate/codemirror branch July 2, 2026 12:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant