CI (CN runtime checks)

Benchmark z3 and cvc5 #325

Sign in to view logs

Triggered via pull request September 25, 2024 20:29

jprider63

opened #597

GaloisInc:feature/benchmark-solvers

Status Success

Total duration 3m 51s

Artifacts –

ci-runtime.yml

on: pull_request

Matrix: build