Skip to content

[Doc] Update Discord shield - #239

Merged
matteobettini merged 3 commits into
mainfrom
ci
Nov 10, 2025
Merged

[Doc] Update Discord shield#239
matteobettini merged 3 commits into
mainfrom
ci

Conversation

@matteobettini

Copy link
Copy Markdown
Contributor

No description provided.

@meta-cla meta-cla Bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Nov 10, 2025
@matteobettini matteobettini changed the title [CI] [Doc] Update Discord shield Nov 10, 2025
@matteobettini
matteobettini merged commit 5cf8366 into main Nov 10, 2025
17 checks passed
@matteobettini
matteobettini deleted the ci branch November 10, 2025 09:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant