Skip to content
Back to pull request #365

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

Sign in to view logs

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

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

Annotations

1 error and 1 warning

This job failed