Skip to content

chore(.github/workflows): ignore label_issues in all-jobs-are-green job#4030

Merged
dd-mergequeue[bot] merged 1 commit into
mainfrom
dario.castane/ignore-label_issues
Oct 7, 2025
Merged

chore(.github/workflows): ignore label_issues in all-jobs-are-green job#4030
dd-mergequeue[bot] merged 1 commit into
mainfrom
dario.castane/ignore-label_issues

Conversation

@darccio

@darccio darccio commented Oct 7, 2025

Copy link
Copy Markdown
Member

What does this PR do?

Adds label_issues to the ignored jobs so all-jobs-are-green don't fail on it.

Reviewer's Checklist

  • Changed code has unit tests for its functionality at or near 100% coverage.
  • System-Tests covering this feature have been added and enabled with the va.b.c-dev version tag.
  • There is a benchmark for any new code, or changes to existing code.
  • If this interacts with the agent in a new way, a system test has been added.
  • New code is free of linting errors. You can check this by running ./scripts/lint.sh locally.
  • Add an appropriate team label so this PR gets put in the right place for the release notes.
  • Non-trivial go.mod changes, e.g. adding new modules, are reviewed by @DataDog/dd-trace-go-guild.

Unsure? Have a question? Request a review!

@darccio
darccio requested a review from a team as a code owner October 7, 2025 09:28
@darccio

darccio commented Oct 7, 2025

Copy link
Copy Markdown
Member Author

/merge

@dd-devflow-routing-codex

dd-devflow-routing-codex Bot commented Oct 7, 2025

Copy link
Copy Markdown

View all feedbacks in Devflow UI.

2025-10-07 09:29:55 UTC ℹ️ Start processing command /merge


2025-10-07 09:30:05 UTC ℹ️ MergeQueue: waiting for PR to be ready

This merge request is not mergeable yet, because of pending checks/missing approvals. It will be added to the queue as soon as checks pass and/or get approvals.
Note: if you pushed new commits since the last approval, you may need additional approval.
You can remove it from the waiting list with /remove command.


2025-10-07 09:54:16 UTC ℹ️ MergeQueue: merge request added to the queue

The expected merge time in main is approximately 20m (p90).


2025-10-07 10:07:06 UTC ℹ️ MergeQueue: This merge request was merged

@pr-commenter

pr-commenter Bot commented Oct 7, 2025

Copy link
Copy Markdown

Benchmarks

Benchmark execution time: 2025-10-07 09:42:29

Comparing candidate commit 47dac4c in PR branch dario.castane/ignore-label_issues with baseline commit c7783df in branch main.

Found 0 performance improvements and 0 performance regressions! Performance is the same for 24 metrics, 0 unstable metrics.

@dd-mergequeue
dd-mergequeue Bot merged commit aec1bea into main Oct 7, 2025
239 checks passed
@dd-mergequeue
dd-mergequeue Bot deleted the dario.castane/ignore-label_issues branch October 7, 2025 10:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants