Delete merged branch of the backport PRs

Simplify big int marker. #227

Sign in to view logs

Triggered via pull request July 13, 2023 20:22

dblock

closed #558

dblock:big-int-marker

Status Skipped

Total duration 2s

Artifacts –

delete_backport_branch.yml

on: pull_request