Delete merged branch of the backport PRs

Bump Flint version to 0.5.0 #167

Sign in to view logs

Triggered via pull request May 17, 2024 17:10

dai-chen

closed #343

dai-chen:bump-flint-version-0.5

Status Skipped

Total duration 3s

Artifacts –

delete_backport_branch.yml

on: pull_request