diff --git a/.github/workflows/circleci.yml b/.github/workflows/circleci.yml
deleted file mode 100644
index ef1d0447f7..0000000000
--- a/.github/workflows/circleci.yml
+++ /dev/null
@@ -1,13 +0,0 @@
-name: doc-build-artifact
-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