Skip to content

chore: pin serverless-tools to a specific commit hash#17342

Merged
juanjux merged 1 commit into
4.5from
emmett.butler/pin-serverless-tools-on-4.5
Apr 7, 2026
Merged

chore: pin serverless-tools to a specific commit hash#17342
juanjux merged 1 commit into
4.5from
emmett.butler/pin-serverless-tools-on-4.5

Conversation

@emmettbutler

Copy link
Copy Markdown
Collaborator

No description provided.

@emmettbutler emmettbutler requested review from a team as code owners April 6, 2026 16:15
@emmettbutler emmettbutler added the changelog/no-changelog A changelog entry is not required for this PR. label Apr 6, 2026
@emmettbutler

Copy link
Copy Markdown
Collaborator Author

/merge

@gh-worker-devflow-routing-ef8351

gh-worker-devflow-routing-ef8351 Bot commented Apr 6, 2026

Copy link
Copy Markdown

View all feedbacks in Devflow UI.

2026-04-06 17:18:25 UTC ℹ️ Start processing command /merge


2026-04-06 17:18:31 UTC ℹ️ MergeQueue: waiting for PR to be ready

This pull request is not mergeable according to GitHub. Common reasons include pending required checks, missing approvals, or merge conflicts — but it could also be blocked by other repository rules or settings.
It will be added to the queue as soon as checks pass and/or get approvals. View in MergeQueue UI.
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.


2026-04-06 21:22:04 UTC ⚠️ MergeQueue: This merge request was unqueued

devflow unqueued this merge request: It did not become mergeable within the expected time

@emmettbutler

Copy link
Copy Markdown
Collaborator Author

/merge

@gh-worker-devflow-routing-ef8351

gh-worker-devflow-routing-ef8351 Bot commented Apr 7, 2026

Copy link
Copy Markdown

View all feedbacks in Devflow UI.

2026-04-07 01:36:45 UTC ℹ️ Start processing command /merge


2026-04-07 01:36:50 UTC ℹ️ MergeQueue: waiting for PR to be ready

This pull request is not mergeable according to GitHub. Common reasons include pending required checks, missing approvals, or merge conflicts — but it could also be blocked by other repository rules or settings.
It will be added to the queue as soon as checks pass and/or get approvals. View in MergeQueue UI.
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.


2026-04-07 05:39:43 UTC ⚠️ MergeQueue: This merge request was unqueued

thomas.kowalski@datadoghq.com unqueued this merge request

@KowalskiThomas

Copy link
Copy Markdown
Contributor

The PR seems to be blocked in MQ, I'll try to remove it and re-push it.

@KowalskiThomas KowalskiThomas force-pushed the emmett.butler/pin-serverless-tools-on-4.5 branch from cc91616 to 6cf8e5f Compare April 7, 2026 05:41
@KowalskiThomas KowalskiThomas enabled auto-merge (squash) April 7, 2026 05:41
@juanjux juanjux disabled auto-merge April 7, 2026 07:18
@juanjux juanjux merged commit 019b981 into 4.5 Apr 7, 2026
30 checks passed
@juanjux juanjux deleted the emmett.butler/pin-serverless-tools-on-4.5 branch April 7, 2026 07:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/no-changelog A changelog entry is not required for this PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants