Fix

benedikt-schesch · May 9, 2024 · 01c5225 · 01c5225
1 parent 7a480e1
commit 01c5225
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml
@@ -44,8 +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 -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
+        make check-merges-reproducibility
       env:
           GITHUB_TOKEN: ${{ secrets.TOKEN_GITHUB }}