Skip to content

[Backport 2.x] Bump org.checkerframework:checker-qual from 3.47.0 to 3.48.1 (#4808) and ch.qos.logback:logback-classic from 1.5.8 to 1.5.10 (#4807) #1976

[Backport 2.x] Bump org.checkerframework:checker-qual from 3.47.0 to 3.48.1 (#4808) and ch.qos.logback:logback-classic from 1.5.8 to 1.5.10 (#4807)

[Backport 2.x] Bump org.checkerframework:checker-qual from 3.47.0 to 3.48.1 (#4808) and ch.qos.logback:logback-classic from 1.5.8 to 1.5.10 (#4807) #1976

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@b77e873cee00b09f55cc553bd24aae5f8dfc9157
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}