From 96c113b2c6e9a0428deb0743e369130971d6f4d5 Mon Sep 17 00:00:00 2001
From: Rémi Flamary <remi.flamary@gmail.com>
Date: Mon, 4 May 2020 09:13:54 +0200
Subject: rename files and add pull request for proper status in pr

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

(limited to '.github/workflows/circleci-redirector.yml')

diff --git a/.github/workflows/circleci-redirector.yml b/.github/workflows/circleci-redirector.yml
new file mode 100644
index 0000000..ae7bfca
--- /dev/null
+++ b/.github/workflows/circleci-redirector.yml
@@ -0,0 +1,13 @@
+name: circleci-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: 0/dev/index.html
+          circleci-jobs: build_docs
-- 
cgit v1.2.3