add if to circleci_redirector

Author: rflamary

.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