diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml index 5e153c6963..61b7ab41e2 100644 --- a/.github/workflows/check-reproducibility.yml +++ b/.github/workflows/check-reproducibility.yml @@ -3,7 +3,6 @@ on: [push, pull_request] jobs: test: strategy: - fail-fast: false matrix: maven: [ '3.9.2' ] runs-on: ubuntu-latest diff --git a/Makefile b/Makefile index f2ae84eb7d..7a37fd6b48 100644 --- a/Makefile +++ b/Makefile @@ -133,8 +133,9 @@ clean-local: check-merges-reproducibility: @echo "Running replay_merge for each idx in parallel..." - @tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel --progress --bar -u --halt now,fail=1 -j $(NUM_PROCESSES) 'python3 src/python/replay_merge.py --merges_csv $(CSV_RESULTS) -delete_workdir --idx {}' - + @tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | while read idx; do \ + python3 src/python/replay_merge.py --merges_csv $$(CSV_RESULTS) --delete_workdir --idx $$idx; \ + done protect-repos: find repos -mindepth 1 -type d -exec chmod a-w {} +