Skip to content

remove unused action#28

Merged
lugi0 merged 1 commit intomainfrom
feature/auto-approve-lgtm
Mar 18, 2025
Merged

remove unused action#28
lugi0 merged 1 commit intomainfrom
feature/auto-approve-lgtm

Conversation

@lugi0
Copy link
Copy Markdown
Owner

@lugi0 lugi0 commented Mar 18, 2025

No description provided.

@lugi0 lugi0 merged commit dc3a0a4 into main Mar 18, 2025
3 checks passed
@github-actions
Copy link
Copy Markdown

The following are automatically added/executed:

Available user actions:

  • To mark a PR as WIP, add /wip in a comment. To remove it from the PR comment /wip cancel to the PR.
  • To block merging of a PR, add /hold in a comment. To un-block merging of PR comment /hold cancel.
  • To mark a PR as approved, add /lgtm in a comment. To remove, add /lgtm cancel.
    lgtm label removed on each new commit push.
  • To mark PR as verified comment /verified to the PR, to un-verify comment /verified cancel to the PR.
    verified label removed on each new commit push.
Supported labels

{'/wip', '/hold', '/lgtm', '/verified'}

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant