From 407e57c3845d96661d53579432dbb9aa9969d2ee Mon Sep 17 00:00:00 2001
From: Umut <umutsahin@protonmail.com>
Date: Thu, 16 Sep 2021 10:41:03 +0300
Subject: [PATCH] chore: make docker_publish_measurements target work better
 locally, improve daily benchmarks workflow

---
 .github/workflows/daily-benchmarks.yaml | 2 ++
 Makefile                                | 1 -
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/daily-benchmarks.yaml b/.github/workflows/daily-benchmarks.yaml
index 1899e9da6..ff9ddf6e5 100644
--- a/.github/workflows/daily-benchmarks.yaml
+++ b/.github/workflows/daily-benchmarks.yaml
@@ -41,7 +41,9 @@ jobs:
           key: ${{ secrets.BENCHMARKS_EC2_SSH_KEY }}
           script: |
             cd ~/concretefhe-internal
+            git pull
             make docker_publish_measurements
+            docker system prune -f
 
       - name: Write SSH Key To A File
         run: echo "$SSH_KEY" > ~/ssh-key && chmod 400 ~/ssh-key
diff --git a/Makefile b/Makefile
index c438c5af0..7d3b3b715 100644
--- a/Makefile
+++ b/Makefile
@@ -133,7 +133,6 @@ docker_bas: docker_build_and_start
 .PHONY: docker_bas
 
 docker_publish_measurements: docker_build
-	git pull
 	mkdir -p .benchmarks
 	python script/progress_tracker_utils/extract_machine_info.py
 	docker run --rm --volume /"$$(pwd)":/src $(DEV_DOCKER_IMG) \