Fix CI container name collision on podman runners - #2881

Fix CI container name collision on podman runners#2881

anvacaru merged 3 commits into

masterruntimeverification/evm-semantics:masterfrom

anvacaru/ci-container-fixruntimeverification/evm-semantics:anvacaru/ci-container-fixCopy head branch name to clipboard