From d845f872b98c8dc947b506f9c2e8478a11424f74 Mon Sep 17 00:00:00 2001 From: Javier Neira Date: Tue, 2 Nov 2021 16:58:04 +0100 Subject: [PATCH] Remove comment to skip circleci (#2325) It does not work for prs from external repos --- .github/workflows/test.yml | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index d39cd2c5f3..3ec3f6d313 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -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'