Trim the head

benedikt-schesch · May 5, 2024 · 95beba7 · 95beba7
1 parent dd98cad
commit 95beba7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml
@@ -44,7 +44,7 @@ jobs:
       run: |
         git config --global user.email "[email protected]"
         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 }}