Added some data

benedikt-schesch · May 10, 2024 · 73d79a8 · 73d79a8
1 parent a56d321
commit 73d79a8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml
@@ -41,7 +41,9 @@ jobs:
       run: make clean
     - run: echo "LOGURU_COLORIZE=NO" >> $GITHUB_ENV
     - name: Build
-      run: cd src/scripts/merge_tools/merging && ./gradlew -q shadowJar
+      run: |
+        git submodule update --init --recursive
+        cd src/scripts/merge_tools/merging && ./gradlew -q shadowJar
     - name: make check-merges-reproducibility
       run: |
         python3 src/python/replay_merge.py --merges_csv results/combined/result.csv -delete_workdir --idx 38-192

diff --git a/run.sh b/run.sh
@@ -91,7 +91,7 @@ export JAVA_HOME=$JAVA17_HOME
 if [ ! -f ./src/scripts/merge_tools/merging/.git ] ; then
     git submodule update --init --recursive
 fi
-git submodule update --recursive --remote
+
 (cd ./src/scripts/merge_tools/merging && ./gradlew shadowJar)
 
 echo "Machine ID: $machine_id"