Skip to content

chore: cherry pick change for RC #5890

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 1 commit into from
May 14, 2025
Merged

chore: cherry pick change for RC #5890

merged 1 commit into from
May 14, 2025

Conversation

CatalinSnyk
Copy link
Contributor

Pull Request Submission Checklist

  • Follows CONTRIBUTING guidelines
  • Includes detailed description of changes
  • Contains risk assessment (Low | Medium | High)
  • Highlights breaking API changes (if applicable)
  • Links to automated tests covering new functionality
  • Includes manual testing instructions (if necessary)
  • Updates relevant GitBook documentation (PR link: ___)
  • Includes product update to be announced in the next stable release notes

What does this PR do?

Where should the reviewer start?

How should this be manually tested?

What's the product update that needs to be communicated to CLI users?

@CatalinSnyk CatalinSnyk requested a review from a team as a code owner May 14, 2025 07:21
@github-actions GitHub Actions
Copy link
Contributor

Warnings
⚠️

"feat: automatic integration of language server 44a941375f2b27d2881d8fe22ccc613c3a7d2ef0" is too long. Keep the first line of your commit message under 72 characters.

Generated by 🚫 dangerJS against 9a56ff6

@CatalinSnyk CatalinSnyk enabled auto-merge May 14, 2025 07:30
@CatalinSnyk CatalinSnyk merged commit 1fcd6de into release-candidate May 14, 2025
6 checks passed
@CatalinSnyk CatalinSnyk deleted the chore/cherry-pick-rc branch May 14, 2025 07:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@PeterSchafer PeterSchafer PeterSchafer approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@CatalinSnyk @PeterSchafer @team-ide-user