Skip to content

ci: use per-integration devenv profiles - #1100

Open
danielgafni wants to merge 1 commit into
mainfrom
03-26-ci_use_per-integration_devenv_profiles
Open

ci: use per-integration devenv profiles#1100
danielgafni wants to merge 1 commit into
mainfrom
03-26-ci_use_per-integration_devenv_profiles

Conversation

@danielgafni

Copy link
Copy Markdown
Collaborator

Summary

Changelog

Test Plan

Copy link
Copy Markdown
Collaborator Author

How to use the Graphite Merge Queue

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

  • graphite:merge - adds this PR to the back of the merge queue
  • graphite:hotfix - for urgent changes, fast-track this PR to the front of the merge queue

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.

@codecov

codecov Bot commented Mar 26, 2026

Copy link
Copy Markdown

⚠️ JUnit XML file not found

The CLI was unable to find any JUnit XML files to upload.
For more help, visit our troubleshooting guide.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant