Delete merged branch of the backport PRs

Bump Flint version to 0.2.0 #90

Sign in to view logs

Triggered via pull request January 4, 2024 23:34

dai-chen

closed #183

dai-chen:bump-flint-version-0.2

Status Skipped

Total duration 3s

Artifacts –

delete_backport_branch.yml

on: pull_request