From 73d79a85250b41c177aa4eade49a65b60bbce9be Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Thu, 9 May 2024 22:59:09 -0700 Subject: [PATCH] Added some data --- .github/workflows/check-reproducibility.yml | 4 +++- run.sh | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml index 2d5cccd030..3e06a0fef7 100644 --- 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 index ec95e0a96d..4848d21388 100755 --- 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"