From 4b59cea179723a35b2974a7db32ca694eb75c63f Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Fri, 7 Jun 2024 21:33:31 -0700 Subject: [PATCH] Removed ci/cd printing --- Makefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Makefile b/Makefile index 4549d4d5a2..bdeb9571e4 100644 --- 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: