From 95beba77a5d48ff5d9ea78af9732537e8e37fc40 Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Sun, 5 May 2024 16:38:49 -0700 Subject: [PATCH] Trim the head --- .github/workflows/check-reproducibility.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml index 109ece84d8..fb31f1560f 100644 --- a/.github/workflows/check-reproducibility.yml +++ b/.github/workflows/check-reproducibility.yml @@ -44,7 +44,7 @@ jobs: run: | git config --global user.email "example@example.com" git config --global user.name "Example Example" - head -n 101 results/combined/result.csv > results/combined/result_trimmed.csv + head -n 101 results/combined/result.csv > results/combined/result.csv make NUM_PROCESSES=1 check-merges-reproducibility env: GITHUB_TOKEN: ${{ secrets.TOKEN_GITHUB }}