Delete merged branch of the backport PRs

Painless: ensure type "UnmodifiableMap" for params #6857

Sign in to view logs

Triggered via pull request June 3, 2024 17:31

dblock

closed #13885

r1walz:painless-fix-10561

Status Skipped

Total duration 3s

Artifacts –

delete_backport_branch.yml

on: pull_request