diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-06-09 16:58:37 +0200 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2023-06-15 10:38:28 +0100 |
| commit | 6f7a0ae58b843290ae2006dfd9aa1e8fd86053a5 (patch) | |
| tree | 5d9d4978e9966aa2718e838195068bf9992da2b9 | |
| parent | de56daab4178460a0755d7e258862f3bba940c13 (diff) | |
ci: Use podman stop over podman kill
This should avoid a race where the kill is not done when spinning up the
new container. podman stop waits 10 seconds by default.
Github-Pull: #27844
Rebased-From: faaa62754e84417baa917f20db379db78146687d
| -rwxr-xr-x | ci/test/04_install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/test/04_install.sh b/ci/test/04_install.sh index e1e4120b69..9237ea443b 100755 --- a/ci/test/04_install.sh +++ b/ci/test/04_install.sh @@ -40,7 +40,7 @@ if [ -z "$DANGER_RUN_CI_ON_HOST" ]; then if [ -n "${RESTART_CI_DOCKER_BEFORE_RUN}" ] ; then echo "Restart docker before run to stop and clear all containers started with --rm" - podman container kill --all # Similar to "systemctl restart docker" + podman container stop --all # Similar to "systemctl restart docker" echo "Prune all dangling images" docker image prune --force fi |