Skip to content

feat(internal/civisibility): add the pr.number tag for github provider#3803

Merged
dd-mergequeue[bot] merged 1 commit into
mainfrom
tony/add-github-prnumber
Jul 22, 2025
Merged

feat(internal/civisibility): add the pr.number tag for github provider#3803
dd-mergequeue[bot] merged 1 commit into
mainfrom
tony/add-github-prnumber

Conversation

@tonyredondo

Copy link
Copy Markdown
Member

What does this PR do?

This PR adds pr.number test tag for github action jobs.

Motivation

We have pr.number tag for several providers except github.

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!

@tonyredondo
tonyredondo requested a review from a team as a code owner July 22, 2025 11:04
@pr-commenter

pr-commenter Bot commented Jul 22, 2025

Copy link
Copy Markdown

Benchmarks

Benchmark execution time: 2025-07-22 11:16:47

Comparing candidate commit 6ff3f49 in PR branch tony/add-github-prnumber with baseline commit d7503d9 in branch main.

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

@tonyredondo

Copy link
Copy Markdown
Member Author

/merge

@dd-devflow-routing-codex

dd-devflow-routing-codex Bot commented Jul 22, 2025

Copy link
Copy Markdown

View all feedbacks in Devflow UI.

2025-07-22 11:32:51 UTC ℹ️ Start processing command /merge


2025-07-22 11:32:57 UTC ℹ️ MergeQueue: pull request added to the queue

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


2025-07-22 11:45:25 UTC ℹ️ MergeQueue: This merge request was merged

@dd-mergequeue
dd-mergequeue Bot merged commit 5bdbb59 into main Jul 22, 2025
293 of 295 checks passed
@dd-mergequeue
dd-mergequeue Bot deleted the tony/add-github-prnumber branch July 22, 2025 11:45
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