[CN] Make CN run both Z3 and CVC5 in CI, tidy up runner CI script#365

Merged

cp526 merged 4 commits intorems-project:masterfrom septract:mdd/cn-cvc5-ci

Jul 17, 2024

+20-55

Commits on Jul 5, 2024

Commits on Jul 10, 2024

Tidy up the tutorial repo CI by using the new make check target
septract
committed