Skip to content
CI (CN runtime checks)

Benchmark z3 and cvc5 #61

Sign in to view logs

Benchmark z3 and cvc5

Benchmark z3 and cvc5 #61

Triggered via push September 25, 2024 20:18
@jprider63jprider63
pushed 114870c
master
Status Success
Total duration 3m 44s
Artifacts –

ci-runtime.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in