Delete merged branch of the backport PRs

Implemented filtering on the ISM eplain API #497

Sign in to view logs

Triggered via pull request December 14, 2023 21:34

closed #998

Joshua152:osci

Status Skipped

Total duration 3s

Artifacts –

delete_backport_branch.yml

on: pull_request