diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-06-09 16:58:37 +0200 |
|---|---|---|
| committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-06-09 16:58:38 +0200 |
| commit | faaa62754e84417baa917f20db379db78146687d (patch) | |
| tree | dec98b1bfc4a11fe33d185bf36c732949a43a26b /ci/test | |
| parent | a36134fcc7b40671d538931f621c8c15ffacc3d2 (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.
Diffstat (limited to 'ci/test')
| -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 2a5689e251..626461df03 100755 --- a/ci/test/04_install.sh +++ b/ci/test/04_install.sh @@ -42,7 +42,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 |