diff --git a/pull_requests.py b/pull_requests.py index 83177bd..e19d653 100644 --- a/pull_requests.py +++ b/pull_requests.py @@ -116,7 +116,7 @@ def process_repos(csv_file: str, stats_csv: Optional[str], dataset: Dataset, rep pbar.set_postfix({ "repo": repo_name, "started at": datetime.now().strftime("%d/%m, %H:%M:%S"), - "# triplets": len(dataset) + "# triplets": f"{len(dataset)}/{len(dataset.entries)} ({len(dataset)/len(dataset.entries):.2%})" }) if repo_name in already_processed_repos and repo_name not in potentially_good_repos: pbar.update(1)