Delete merged branch of the backport PRs

Add integrations queries for Flint #676

Sign in to view logs

Triggered via pull request October 27, 2023 20:23

closed #1150

Swiddis:integ-queries

Status Skipped

Total duration 2s

Artifacts –

delete_backport_branch.yml

on: pull_request