Test

benedikt-schesch · May 7, 2024 · 379cbd0 · 379cbd0
1 parent 5a3d387
commit 379cbd0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml
@@ -44,6 +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
         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
@@ -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