Skip to content
Snippets Groups Projects
Unverified Commit ebe1d922 authored by Javier Neira's avatar Javier Neira Committed by GitHub
Browse files

[skip circleci] Add option to effectively cancel prev runs (#2310)

* Add option to cancel prev runs

Without using skip-duplicate-actions which is failing due to github access permission. 
See https://github.com/fkirc/skip-duplicate-actions/issues/103



* Cancel by branch *and* workflow

Without it will cancel other workflows for the same branch
Credits: 7b371e8b

* Disable cancelling other runs

Co-authored-by: default avatarmergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
parent b0187172
No related branches found
No related tags found
No related merge requests found
......@@ -4,6 +4,11 @@ defaults:
run:
shell: bash
# See: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency.
concurrency:
group: ${{ github.head_ref }}-${{ github.workflow }}
cancel-in-progress: true
on:
pull_request:
branches:
......@@ -19,12 +24,13 @@ jobs:
- id: skip_check
uses: fkirc/skip-duplicate-actions@v3.4.0
with:
cancel_others: true
cancel_others: false
paths_ignore: '["**/docs/**", "**.md", "**/LICENSE", "install/**", "**.nix", "flake.lock", "**/README.md", "FUNDING.yml"]'
# If we only change ghcide downstream packages we have not test ghcide itself
- id: skip_ghcide_check
uses: fkirc/skip-duplicate-actions@v3.4.0
with:
cancel_others: false
paths_ignore: '["hls-test-utils/**", "plugins/**", "src/**", "exe/**", "test/**", "shake-bench/**"]'
- if: steps.skip_check.outputs.should_skip == 'true'
name: Skip circleci
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment