Skip to content

Commit

Permalink
[ci] Solved issues harvesting: list projects
Browse files Browse the repository at this point in the history
  • Loading branch information
dpiparo committed Jun 15, 2024
1 parent 41b9bb4 commit cc65bde
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions build/misc/get_solved_issues-github-actions.py
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,9 @@ def print_fmtted_issues():
name_pattern = re.compile(r''.join([r'\W' if not char.isalnum() else char for char in name_pattern_str]))
def matches(project):
return name_pattern.search(project.name)

repo_projects_str = " ".join(repo.projects())
print(f"List of projects in the repository: {repo_projects_str}")

pro = [p for p in repo.projects() if matches(p)]
if len(pro) != 1:
Expand Down

0 comments on commit cc65bde

Please sign in to comment.