Merge branch 'master' into run-package-in-mgbuilder

This commit is contained in:
Marko Barišić 2024-03-21 19:02:19 +01:00 committed by GitHub
commit b261abd100
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -188,7 +188,6 @@ CLUSTER_UP() {
break
fi
done
echo -e "\n+++++cnt=$cnt+++++\n"
# Ensure all SSH connections between Jepsen containers work
for node in $(docker ps --filter name=jepsen* --filter status=running --format "{{.Names}}"); do
if [ "$node" == "jepsen-control" ]; then