mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-22 23:52:03 +00:00
Merge pull request #52324 from ClickHouse/merge-pr-logging
Add logging about all found workflows for merge_pr.py
This commit is contained in:
commit
06fe08d9f4
@ -246,6 +246,12 @@ def main():
|
||||
|
||||
if args.check_running_workflows:
|
||||
workflows = get_workflows_for_head(repo, pr.head.sha)
|
||||
logging.info(
|
||||
"The PR #%s has following workflows:\n%s",
|
||||
pr.number,
|
||||
"\n".join(f"{wf.html_url}: status is {wf.status}" for wf in workflows),
|
||||
)
|
||||
|
||||
workflows_in_progress = [wf for wf in workflows if wf.status != "completed"]
|
||||
# At most one workflow in progress is fine. We check that there no
|
||||
# cases like, e.g. PullRequestCI and DocksCheck in progress at once
|
||||
|
Loading…
Reference in New Issue
Block a user