ci: use podman
for simple GitHub workflows
#4035
Merged
podman
for simple GitHub workflows
#4035