diff options
| author | Marc Cornellà <marc@mcornella.com> | 2023-10-28 10:29:54 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc@mcornella.com> | 2023-10-28 10:29:54 +0200 |
| commit | 7733e3ab57ee3f666cf6f3e699d03b69aca2d373 (patch) | |
| tree | e9607988256afcc7099cd63b0f59cd013a6a2b67 /.github | |
| parent | 7348d12f8e5cd755037aa6f5d347eab0ac2efb0b (diff) | |
| download | zsh-7733e3ab57ee3f666cf6f3e699d03b69aca2d373.tar.gz zsh-7733e3ab57ee3f666cf6f3e699d03b69aca2d373.tar.bz2 zsh-7733e3ab57ee3f666cf6f3e699d03b69aca2d373.zip | |
ci: fix path filtering in installer workflow
See https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-including-and-excluding-paths
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/installer.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/installer.yml b/.github/workflows/installer.yml index 4a25c8079..a70c483d1 100644 --- a/.github/workflows/installer.yml +++ b/.github/workflows/installer.yml @@ -3,9 +3,9 @@ on: workflow_dispatch: {} push: paths: - - tools/install.sh - - .github/workflows/installer - - .github/workflows/installer.yml + - 'tools/install.sh' + - '.github/workflows/installer/**' + - '.github/workflows/installer.yml' concurrency: group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} |