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 /src/util/spanparsing.cpp | |
| 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 'src/util/spanparsing.cpp')
0 files changed, 0 insertions, 0 deletions