.github/with-docker: make compatible with podman - #1167

.github/with-docker: make compatible with podman#1167

anvacaru merged 3 commits into

masterruntimeverification/kontrol:masterfrom

anvacaru/ci-podman-compatruntimeverification/kontrol:anvacaru/ci-podman-compatCopy head branch name to clipboard