CppVerify Z3 gate

Workflow runs for CppVerify Z3 gate

• Adopt Z3 releases only through a gate in CI; keep 4.13.4 for 0.2

  queued:
  CppVerify Z3 gate#2:Pull request#135synchronizebySwayamInSync
  ci/z3-gate

  Oct 29, 2026Queued
  More actions for workflow run 2

• Adopt Z3 releases only through a gate in CI; keep 4.13.4 for 0.2

  failed:
  CppVerify Z3 gate#1:Pull request#135openedbySwayamInSync
  ci/z3-gate

  Oct 29, 20263h 50m 50s
  More actions for workflow run 1