CI: Use correct action name

Apologies for the noise

.github/workflows/redirect_circleci_artifacts.yml

@@ -2,7 +2,7 @@ on: [status]
 
 jobs:
   circleci_artifacts_redirector_job:
-    if: "${{ startsWith(github.event.context, 'ci/circleci: build_docs') }}"
+    if: "${{ startsWith(github.event.context, 'ci/circleci: build_docs_pdf') }}"
     runs-on: ubuntu-latest
     name: Run CircleCI artifacts redirector
     steps: