Skip to content

ci: change the order of lint jobs as lint_shell is more likely to fail #20612

ci: change the order of lint jobs as lint_shell is more likely to fail

ci: change the order of lint jobs as lint_shell is more likely to fail #20612

Workflow file for this run

name: "Pull Request Labeler"
on: pull_request_target
jobs:
triage:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@main
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"