diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2020-07-09 08:49:39 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2020-07-09 08:49:39 +0200 |
| commit | a16b9471d7114ec08977479b7249efe747702b97 (patch) | |
| tree | 692f3061d0329cad954206b2bf903ba3384403f0 /.github/workflows/circleci-redirector.yml | |
| parent | 0812fcd82cbf11d444619e96c55ba507bc09ef5d (diff) | |
| parent | 94d5c8cc9046854f473d8e4526a3bcf214eb5411 (diff) | |
Merge tag '0.7.0' into dfsg/latest
Diffstat (limited to '.github/workflows/circleci-redirector.yml')
| -rw-r--r-- | .github/workflows/circleci-redirector.yml | 13 |
1 files changed, 13 insertions, 0 deletions
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 |