pr-cleanup.yaml

name: Remove PR artifacts
on:
  pull_request:
    branches: [master]
    types: [closed]

jobs:
  delete-scow-vagrant:
    name: Delete scow-vagrant PR branch
    runs-on: ubuntu-latest
    steps:
      - name: Delete scow-vagrant PR branch
        uses: dawidd6/action-delete-branch@v3
        with:
          github_token: ${{ secrets.SCOW_DEPLOYMENT_PAT }}
          owner: PKUHPC
          repository: scow-vagrant
          branches: ${{ github.event.number }}/merge
          soft_fail: true