diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 9990e660..48caa69c 100644 --- 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 index 11ceff0a..e7e14f16 100755 --- 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