Skip to content

[automated] Update plugin list#14437

Merged
Pierre-Sassoulas merged 1 commit intomainfrom
update-plugin-list/patch-deb9f5f79
May 3, 2026
Merged

[automated] Update plugin list#14437
Pierre-Sassoulas merged 1 commit intomainfrom
update-plugin-list/patch-deb9f5f79

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented May 3, 2026

[automated] Update plugin list

@github-actions
Copy link
Copy Markdown
Contributor Author

github-actions Bot commented May 3, 2026

Please mark the PR as ready for review to trigger PR checks.

@Pierre-Sassoulas Pierre-Sassoulas marked this pull request as ready for review May 3, 2026 04:48
@Pierre-Sassoulas Pierre-Sassoulas enabled auto-merge (squash) May 3, 2026 04:49
@Pierre-Sassoulas Pierre-Sassoulas merged commit 4636842 into main May 3, 2026
33 checks passed
@Pierre-Sassoulas Pierre-Sassoulas deleted the update-plugin-list/patch-deb9f5f79 branch May 3, 2026 05:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants