Removed ci/cd printing

benedikt-schesch · Jun 8, 2024 · 4b59cea · 4b59cea
1 parent a305107
commit 4b59cea
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -142,9 +142,6 @@ check-merges-reproducibility:
 	@set -e; \
 	for idx in $(shell tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}'); do \
 		src/python/replay_merge.py --testing --merges_csv $(CSV_RESULTS) -skip_build -delete_workdir --idx $$idx; \
-		df -h; \
-		du -sh repos; \
-		du -sh *; \
 	done
 
 protect-repos: