Add more merges

benedikt-schesch · May 6, 2024 · 216294e · 216294e
1 parent fe916f9
commit 216294e
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 > temp.csv && mv temp.csv results/combined/result.csv
+        head -n 151 results/combined/result.csv > temp.csv && mv temp.csv results/combined/result.csv
         make NUM_PROCESSES=1 check-merges-reproducibility
       env:
           GITHUB_TOKEN: ${{ secrets.TOKEN_GITHUB }}