Remove docker image after build and push from local device (#895)

Co-authored-by: Robbe Sneyders <robbe.sneyders@gmail.com>
ml6team · Mar 6, 2024 · 83b6592 · 83b6592
1 parent 65cf3e5
commit 83b6592
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+  pull_request:
   workflow_dispatch:
 
 env:

diff --git a/scripts/build_components.sh b/scripts/build_components.sh
@@ -122,6 +122,9 @@ for dir in "${components_to_build[@]}"; do
   \`docker pushrm --help\`
   "
 
+
+  # Delete old docker images to free up space
+  docker builder prune -f
   popd
 
 done