Skip to content
Delete merged branch of the backport PRs

Update dependency org.junit.jupiter:junit-jupiter to v5.10.1 #74

Sign in to view logs

Update dependency org.junit.jupiter:junit-jupiter to v5.10.1

Update dependency org.junit.jupiter:junit-jupiter to v5.10.1 #74

Workflow file for this run

.github/workflows/delete-backport-branch.yml at 3fb11d2
name: Delete merged branch of the backport PRs
on:
pull_request:
types:
- closed
jobs:
delete-branch:
runs-on: ubuntu-latest
if: startsWith(github.event.pull_request.head.ref,'backport/')
steps:
- name: Delete merged branch
uses: SvanBoxel/delete-merged-branch@main
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}