CI add CircleCI redirector (#877)

Author: glemaitre

.github/circleci-artifacts-redirector.yml

@@ -0,0 +1,14 @@
+name: circleci-artifacts-redirector
+
+on: [status]
+jobs:
+  circleci_artifacts_redirector_job:
+    runs-on: ubuntu-latest
+    name: Run CircleCI artifacts redirector
+    steps:
+      - name: GitHub Action step
+        uses: larsoner/circleci-artifacts-redirector-action@master
+        with:
+          repo-token: ${{ secrets.GITHUB_TOKEN }}
+          artifact-path: doc/index.html
+          circleci-jobs: documentation