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