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

fix(ci): run ast_changes CI job if span def file changes #4706

Conversation

overlookmotel
Copy link
Contributor

@overlookmotel overlookmotel commented Aug 6, 2024

A detail I forgot in #4703.

Copy link
Contributor Author

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

Join @overlookmotel and the rest of your teammates on Graphite Graphite

@overlookmotel overlookmotel marked this pull request as ready for review August 6, 2024 18:31
Copy link

graphite-app bot commented Aug 6, 2024

Your org has enabled the Graphite merge queue for merging into main

Add the label “merge” to the PR and Graphite will automatically add it to the merge queue when it’s ready to merge. Or use the label “hotfix” to add to the merge queue as a hot fix.

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

@rzvxa rzvxa added the 0-merge Merge with Graphite Merge Queue label Aug 6, 2024
Copy link

graphite-app bot commented Aug 6, 2024

Merge activity

  • Aug 6, 2:33 PM EDT: The merge label 'merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Aug 6, 2:34 PM EDT: rzvxa added this pull request to the Graphite merge queue.
  • Aug 6, 2:37 PM EDT: rzvxa merged this pull request with the Graphite merge queue.

@rzvxa rzvxa force-pushed the 08-06-fix_ci_run_ast_changes_ci_job_if_span_def_file_changes branch from 4e0e7d2 to 06a2e43 Compare August 6, 2024 18:34
@graphite-app graphite-app bot merged commit 06a2e43 into main Aug 6, 2024
15 checks passed
@graphite-app graphite-app bot deleted the 08-06-fix_ci_run_ast_changes_ci_job_if_span_def_file_changes branch August 6, 2024 18:37
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants