Skip to content
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.

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

test(editor): use debug build of the language server #10083

Merged

Conversation

Sysix
Copy link
Collaborator

@Sysix Sysix commented Mar 27, 2025

closes #10064

Copy link
Collaborator Author

Sysix commented Mar 27, 2025


How to use the Graphite Merge Queue

Add either label to this PR to merge it via the merge queue:

  • 0-merge - adds this PR to the back of the merge queue
  • hotfix - for urgent hot fixes, skip the queue and merge this PR next

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

This stack of pull requests is managed by Graphite. Learn more about stacking.

@github-actions github-actions bot added the A-editor Area - Editor and Language Server label Mar 27, 2025
@Sysix Sysix force-pushed the 03-27-ci_editor_use_debug_build_of_the_language_server branch from 1b3c5e8 to 413116f Compare March 27, 2025 22:23
@Sysix Sysix marked this pull request as ready for review March 27, 2025 22:25
@Sysix Sysix changed the title ci(editor): use debug build of the language server test(editor): use debug build of the language server Mar 27, 2025
@github-actions github-actions bot added the C-test Category - Testing. Code is missing test cases, or a PR is adding them label Mar 27, 2025
@Sysix Sysix force-pushed the 03-27-ci_editor_use_debug_build_of_the_language_server branch 3 times, most recently from fddd21b to 42ccba3 Compare March 27, 2025 22:29
@graphite-app graphite-app bot added the 0-merge Merge with Graphite Merge Queue label Mar 28, 2025
Copy link

graphite-app bot commented Mar 28, 2025

Merge activity

  • Mar 28, 12:33 AM EDT: Boshen added this pull request to the Graphite merge queue.
  • Mar 28, 5:28 AM UTC: The merge label '0-merge' was removed. This PR will no longer be merged by the Graphite merge queue
  • Mar 28, 5:29 AM UTC: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Mar 28, 5:29 AM UTC: The merge label '0-merge' was removed. This PR will no longer be merged by the Graphite merge queue
  • Mar 28, 5:35 AM UTC: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Mar 28, 1:48 AM EDT: A user merged this pull request with the Graphite merge queue.
  • Mar 28, 5:53 AM UTC: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Mar 28, 5:53 AM UTC: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Mar 28, 5:55 AM UTC: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Mar 28, 5:56 AM UTC: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.

@graphite-app graphite-app bot force-pushed the 03-27-ci_editor_use_debug_build_of_the_language_server branch from 42ccba3 to 410b8d6 Compare March 28, 2025 05:28
@graphite-app graphite-app bot added 0-merge Merge with Graphite Merge Queue and removed 0-merge Merge with Graphite Merge Queue labels Mar 28, 2025
@graphite-app graphite-app bot merged commit 410b8d6 into main Mar 28, 2025
22 checks passed
@graphite-app graphite-app bot deleted the 03-27-ci_editor_use_debug_build_of_the_language_server branch March 28, 2025 05:48
@graphite-app graphite-app bot added 0-merge Merge with Graphite Merge Queue and removed 0-merge Merge with Graphite Merge Queue labels Mar 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
0-merge Merge with Graphite Merge Queue A-editor Area - Editor and Language Server C-test Category - Testing. Code is missing test cases, or a PR is adding them
Projects
None yet
Development

Successfully merging this pull request may close these issues.

ci(language_server): improve test build time
2 participants