diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml index 222ff81ada..e9d37c5597 100644 --- a/.github/workflows/check-reproducibility.yml +++ b/.github/workflows/check-reproducibility.yml @@ -44,6 +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 -delete_workdir head -n 151 results/combined/result.csv > temp.csv && mv temp.csv results/combined/result.csv make NUM_PROCESSES=1 check-merges-reproducibility env: diff --git a/run.sh b/run.sh index df3dc94cef..d216181bef 100755 --- a/run.sh +++ b/run.sh @@ -55,6 +55,10 @@ done PATH=$(pwd)/src/scripts/merge_tools/:$PATH export PATH +# Print current git global config +echo "Current global git config:" +git config --list --show-origin + GIT_CONFIG_GLOBAL=$(pwd)/blanck_git_config.config export GIT_CONFIG_GLOBAL if git config --list --show-origin | grep 'file:'"$GIT_CONFIG_GLOBAL" > /dev/null; then