Delete merged branch of the backport PRs

Topological Sorting and Sequenced Execution #10

Sign in to view logs

Triggered via pull request September 19, 2023 17:51

dbwiddis

closed #26

topo-sort

Status Skipped

Total duration 3s

Artifacts –

delete-backport-branch.yml

on: pull_request