diff --git a/.github/workflows/docs_preview_delete.yaml b/.github/workflows/docs_preview_delete.yaml new file mode 100644 index 00000000..8ff3956c --- /dev/null +++ b/.github/workflows/docs_preview_delete.yaml @@ -0,0 +1,14 @@ +name: Delete PR preview +on: + pull_request_target: + branches: ['main'] + types: ['closed'] + +jobs: + preview_delete: + name: Delete preview + runs-on: ubuntu-latest + steps: + - name: delete-preview + run: | + curl --fail -X DELETE -H "Authorization: Bearer ${{ secrets.UPLOAD_TOKEN }}" https://docs.tds.cscs.ch/upload?path={{ github.event.pull_request.number }}