Test Z3

Don't hc bool values unecessarily #51

Sign in to view logs

Summary
Jobs
- test-z3
Run details
- Usage
- Workflow file

Triggered via pull request June 22, 2024 20:24

filipeom

synchronize #157

filipeom-patch-1

Status Success

Total duration 13m 15s

Artifacts –

test-z3.yml

on: pull_request