diff --git a/.github/workflows/dispatch_lint.yml b/.github/workflows/dispatch_lint.yml new file mode 100644 index 000000000000..fd262b1c25e7 --- /dev/null +++ b/.github/workflows/dispatch_lint.yml @@ -0,0 +1,12 @@ +name: Manually dispatch linting + +on: + workflow_dispatch: + +jobs: + lint_all: + uses: ./.github/workflows/reusable_lint.yml + with: + SAVE_CACHE: false + secrets: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}