Skip to content

Conversation

@thomas-tacquet
Copy link
Collaborator

Your checklist for this pull request

Description

Please describe what you added or changed.

@SamyOubouaziz SamyOubouaziz added the do not merge PR that shouldn't be merged before a specific date (eg release) label Oct 15, 2025
@SamyOubouaziz SamyOubouaziz added priority: medium Maintenance PRs to fix several visible mistakes status: doc review Waiting for doc team review and removed do not merge PR that shouldn't be merged before a specific date (eg release) labels Nov 3, 2025
@SamyOubouaziz SamyOubouaziz merged commit c2a3714 into main Nov 5, 2025
3 checks passed
@SamyOubouaziz SamyOubouaziz deleted the serverless-jobs-permissions branch November 5, 2025 09:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

priority: medium Maintenance PRs to fix several visible mistakes product: serverless status: doc review Waiting for doc team review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants