Delete merged branch of the backport PRs

[Manual backport 2.x] Use JSON11 for handling long numerals (#6915) #2929

Sign in to view logs

Triggered via pull request June 7, 2024 19:43

ananzh

closed #6970

AMoo-Miki:2.x-backport-6915

Status Skipped

Total duration 4s

Artifacts –

delete_backport_branch.yml

on: pull_request