Fix z3 install and CN tests for Dockerfiles#712

Merged

dc-mak merged 15 commits intorems-project:masterfrom podhrmic:redhat-fix

Nov 21, 2024

+15-14

Commits on Nov 11, 2024

Add GPG key import to the Redhat build to avoid package signature errors
podhrmic
committed
Fix the docker test script, and update z3 installation
podhrmic
committed

Commits on Nov 13, 2024

Commits on Nov 18, 2024

Update test-docker image dependencies
podhrmic
committed