diff options
author | Rémi Flamary <remi.flamary@gmail.com> | 2023-04-18 13:49:27 +0200 |
---|---|---|
committer | Rémi Flamary <remi.flamary@gmail.com> | 2023-04-18 13:49:27 +0200 |
commit | 05d9663756f5fec55014196a3cf071ff3fec5b4d (patch) | |
tree | 51328fca0367bbf98bb44fdadd46b91d08e5b257 | |
parent | c2b9e05b0eaa2c430687e8e49bd7bd47e58d2898 (diff) |
add if to circleci_redirector
-rw-r--r-- | .github/workflows/circleci-redirector.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/circleci-redirector.yml b/.github/workflows/circleci-redirector.yml index 0a13466..b6e2ca4 100644 --- a/.github/workflows/circleci-redirector.yml +++ b/.github/workflows/circleci-redirector.yml @@ -3,6 +3,7 @@ on: [status] jobs: circleci_artifacts_redirector_job: runs-on: ubuntu-latest + if: "${{ github.event.context == 'ci/circleci: build_doc' }}" name: Run CircleCI artifacts redirector steps: - name: GitHub Action step |