diff options
author | Quentin Monnet <quentin@isovalent.com> | 2023-04-09 23:54:11 +0100 |
---|---|---|
committer | Quentin Monnet <qmonnet+github@qoba.lt> | 2023-04-09 23:59:46 +0100 |
commit | 87e2cb7d3240265f68fe6f82633bbd7d33147ff1 (patch) | |
tree | 57b87eb03624ee5f1572b5f72be45e3f587bf3b0 | |
parent | 7d628fb6a63f77bde306b04cec5ab59e7c1f32ab (diff) | |
download | bpftool-87e2cb7d3240265f68fe6f82633bbd7d33147ff1.tar.gz |
ci: Fix up trigger path for ShellCheck workflow
We recently renamed the workflow file, but forgot to adjust the name of
the file in the workflow itself, and now the workflow is no longer
triggered when its description file is changed. Let's fix up the path.
Fixes: 01f13354ffdc ("ci: Add workflow to make sure GitHub mirror commits have valid prefixes")
Signed-off-by: Quentin Monnet <quentin@isovalent.com>
-rw-r--r-- | .github/workflows/lint-shell.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/lint-shell.yaml b/.github/workflows/lint-shell.yaml index b1ef29e..68d1c0c 100644 --- a/.github/workflows/lint-shell.yaml +++ b/.github/workflows/lint-shell.yaml @@ -3,7 +3,7 @@ name: lint-shell on: pull_request: paths: - - '.github/workflows/lint.yaml' + - '.github/workflows/lint-shell.yaml' - 'scripts/**' push: branches: |