Skip to content

Commit

Permalink
[ci] Improve diagnostic of solved issues harvester
Browse files Browse the repository at this point in the history
  • Loading branch information
dpiparo committed Jun 15, 2024
1 parent 90b0a5b commit 41b9bb4
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions build/misc/get_solved_issues-github-actions.py
Original file line number Diff line number Diff line change
Expand Up @@ -41,8 +41,8 @@ def matches(project):
pro = [p for p in repo.projects() if matches(p)]
if len(pro) != 1:
print(
f"Could not identify a unique GitHub project in root-project/root with "
"name containing {args.name}",
"Could not identify a unique GitHub project in root-project/root with "
f"name containing {name_pattern_str}",
file=sys.stderr,
)
sys.exit(1)
Expand Down

0 comments on commit 41b9bb4

Please sign in to comment.