chore: pin serverless-tools to a specific commit hash#17342
Conversation
|
/merge |
|
View all feedbacks in Devflow UI.
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.
devflow unqueued this merge request: It did not become mergeable within the expected time |
|
/merge |
|
View all feedbacks in Devflow UI.
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.
thomas.kowalski@datadoghq.com unqueued this merge request |
|
The PR seems to be blocked in MQ, I'll try to remove it and re-push it. |
cc91616 to
6cf8e5f
Compare
No description provided.