Skip to content
Test Z3

Small fixes and adds cvc5 CI #33

Sign in to view logs

Small fixes and adds cvc5 CI

Small fixes and adds cvc5 CI #33

Triggered via pull request June 18, 2024 08:11
@filipeomfilipeom
opened #155
another-ci-fix
Status Success
Total duration 13m 36s
Artifacts –

test-z3.yml

on: pull_request
test-z3
13m 17s
test-z3
Fit to window
Zoom out
Zoom in