Cleanup leftover postgres containers

This commit is contained in:
estebanthi
2026-01-05 12:07:21 +01:00
parent 4170b17ea6
commit 65e2336237

View File

@@ -127,6 +127,14 @@ jobs:
if: ${{ inputs.typecheck_command != '' }}
run: ${{ inputs.typecheck_command }}
- name: Cleanup existing database containers
if: ${{ inputs.enable_db }}
run: |
existing_ids="$(docker ps -aq --filter "name=^ci-postgres")"
if [ -n "$existing_ids" ]; then
docker rm -f $existing_ids >/dev/null 2>&1 || true
fi
- name: Start database
if: ${{ inputs.enable_db }}
run: |