Skip to content

[CI] Bump pyright-action#3888

Merged
un-def merged 2 commits into
masterfrom
pr_ci_bump_pyright_action
May 19, 2026
Merged

[CI] Bump pyright-action#3888
un-def merged 2 commits into
masterfrom
pr_ci_bump_pyright_action

Conversation

@un-def
Copy link
Copy Markdown
Collaborator

@un-def un-def commented May 19, 2026

No description provided.

@un-def un-def marked this pull request as ready for review May 19, 2026 09:24
@un-def un-def merged commit eaf68e9 into master May 19, 2026
25 checks passed
@un-def un-def deleted the pr_ci_bump_pyright_action branch May 19, 2026 09:24
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.

1 participant