Delete merged branch of the backport PRs

Fix Flint index name and MV name bug #60

Sign in to view logs

Triggered via pull request November 7, 2023 21:31

dai-chen

closed #127

dai-chen:fix-mv-name-bug

Status Skipped

Total duration 3s

Artifacts –

delete_backport_branch.yml

on: pull_request