Merge branch 'check_reproducibility_ci_cd' of github.com:benedikt-sch…

…esch/AST-Merging-Evaluation into check_reproducibility_ci_cd
benedikt-schesch · May 7, 2024 · 809b7e4 · 809b7e4
2 parents 52778e7 + 1944328
commit 809b7e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml
@@ -44,7 +44,7 @@ jobs:
       run: |
         git config --global user.email "[email protected]"
         git config --global user.name "Example Example"
-        python3 src/python/replay_merge.py --idx 522-15 -delete_workdir
+        python3 src/python/replay_merge.py --idx 522-15 -delete_workdir -create_artifacts
         head -n 151 results/combined/result.csv > temp.csv && mv temp.csv results/combined/result.csv
         make NUM_PROCESSES=1 check-merges-reproducibility
       env: