delete branch on close pr

皆月游兔Mizar.json (1/-0/+1) #6749

Sign in to view logs

Triggered via pull request February 2, 2024 00:51

vdb-bot

closed #21422

submit-21421

Status Skipped

Total duration 1s

Artifacts –

delete-merged-branch.yml

on: pull_request