Skip to content

Run check bot on labeling PR with bot:check #1492

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
Snailedlt wants to merge 5 commits into from
Closed

Run check bot on labeling PR with bot:check #1492

Changes from 3 commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
b6d5429
Add possibility to run check-bot by labeling a PR
Snailedlt Oct 31, 2022
2516623
Change label to bot:check
Snailedlt Nov 19, 2022
dc76018
Merge branch 'develop' into feature/run_check_bot_on_labeling_pr_with…
Panquesito7 Apr 26, 2023
59c4902
Merge branch 'develop' into feature/run_check_bot_on_labeling_pr_with…
Snailedlt Jun 2, 2025
6f84ba0
Merge branch 'develop' into feature/run_check_bot_on_labeling_pr_with…
Snailedlt Jun 2, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion .github/workflows/check_icon_pr.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,10 @@ jobs:
check:
name: Check the `devicon.json` and the SVGs' quality
runs-on: ubuntu-18.04
if: startsWith(github.event.pull_request.title, 'new icon') || startsWith(github.event.pull_request.title, 'update icon') # only checks icon PR
if: | # only checks icon PR and when PR's are labeled with `feature:icon`
startsWith(github.event.pull_request.title, 'new icon') ||
startsWith(github.event.pull_request.title, 'update icon') ||
github.event.label.name == 'bot:check'
steps:
- uses: actions/checkout@v2

Expand Down