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

Remove comment to skip circleci (#2325)

It does not work for prs from external repos
parent 613ec40e
No related branches found
No related tags found
No related merge requests found
......@@ -25,19 +25,13 @@ jobs:
uses: fkirc/skip-duplicate-actions@v3.4.0
with:
cancel_others: false
paths_ignore: '["**/docs/**", "**.md", "**/LICENSE", "install/**", "**.nix", "flake.lock", "**/README.md", "FUNDING.yml"]'
paths_ignore: '["**/docs/**", "**.md", "**/LICENSE", "install/**", "**.nix", "flake.lock", "**/README.md", "FUNDING.yml", ".circleci/**"]'
# 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
uses: marocchino/sticky-pull-request-comment@v2
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
message: We are gonna [skip circleci]
test:
if: needs.pre_job.outputs.should_skip != 'true'
......
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