From c08e7dbf326ebbdd1b36f829fba91666db530477 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Mon, 9 Nov 2020 14:20:06 +0100
Subject: [PATCH] gh-actions: add direct link to circleci doc preview

---
 .github/workflows/circleci.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 .github/workflows/circleci.yml

diff --git a/.github/workflows/circleci.yml b/.github/workflows/circleci.yml
new file mode 100644
index 000000000000..fe38dced5bc2
--- /dev/null
+++ b/.github/workflows/circleci.yml
@@ -0,0 +1,12 @@
+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: 0/doc/index.html
+          circleci-jobs: doc-build