diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml index beda1d6489..36f7780179 100644 --- a/.github/workflows/check-reproducibility.yml +++ b/.github/workflows/check-reproducibility.yml @@ -44,8 +44,7 @@ jobs: run: | git config --global user.email "example@example.com" 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 }}