From f4b07a9c92ce30f0a19f35592213a4d3782abd74 Mon Sep 17 00:00:00 2001 From: Martine Lenders Date: Fri, 30 Sep 2022 10:28:08 +0200 Subject: [PATCH] github-actions: remove Circle CI artifacts redirector job --- .github/workflows/circleci.yml | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 .github/workflows/circleci.yml 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