From 05d9663756f5fec55014196a3cf071ff3fec5b4d Mon Sep 17 00:00:00 2001
From: Rémi Flamary <remi.flamary@gmail.com>
Date: Tue, 18 Apr 2023 13:49:27 +0200
Subject: add if to circleci_redirector

---
 .github/workflows/circleci-redirector.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.github')

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
-- 
cgit v1.2.3