upload z3-inc-z3++ #181
test-solver.yml
on: pull_request
generate-test-script
40s
run-test-script
Annotations
1 error
|
generate-test-script
Process completed with exit code 1.
|