karma/crab
1
0
Fork 0
mirror of https://github.com/karma-riuk/crab.git synced 2025-07-05 05:28:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

now saving the dataset after each successfully

Browse Source 
stored PR
This commit is contained in:
Karma Riuk
2025-03-17 10:48:09 +01:00
parent 79ead075fa
commit 65306af557
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pull_requests.py
View File

@ -134,6 +134,8 @@ def process_pull(repo: Repository, pr: PullRequest, dataset: Dataset, repos_dir:
finally:
build_handler.clean_repo()
dataset.to_json(args.output)
def process_repo(repo_name: str, stats_df: Optional[pd.DataFrame], dataset: Dataset, repos_dir: str):
good_prs = []