Delete merged branch of the backport PRs

Bump Flint version to 0.7.0 #438

Sign in to view logs

Triggered via pull request November 7, 2024 18:38

ykmr1224

closed #867

ykmr1224:bump0.7

Status Skipped

Total duration 3s

Artifacts –

delete_backport_branch.yml

on: pull_request