Don't hc bool values unecessarily #103
filipeomtest-bitwuzla.yml
on: pull_request
test-bitwuzla
3m 33s
Annotations
1 error
|
test-bitwuzla
Process completed with exit code 31.
|