Delete merged branch of the backport PRs

Fixed bugs in explorer redirection #1010

Sign in to view logs

Triggered via pull request March 25, 2024 22:51

ps48

closed #1609

paulstn:flint-bug-fix-redir-related

Status Skipped

Total duration 2s

Artifacts –

delete_backport_branch.yml

on: pull_request