diff --git a/.github/workflows/build_lint.yml b/.github/workflows/build_lint.yml index b0be76d7..056eb6dc 100644 --- a/.github/workflows/build_lint.yml +++ b/.github/workflows/build_lint.yml @@ -12,6 +12,7 @@ on: paths-ignore: - '**.md' - '**.rst' + workflow_dispatch: jobs: build: