Avoid opening/closing PRs which are already merged (#25883) #4619

Sign in to view logs

Triggered via pull request July 17, 2023 11:50

GiteaBot

synchronize #25903

GiteaBot:backport-25883-v1.20

Status Success

Total duration 24m 5s

Artifacts –

pull-db-tests.yml

on: pull_request

files-changed / detect which files changed