wasm: increase timeout in tests #7401
Merged
Azure Pipelines / Z3 CI (Python bindings (manylinux Centos AMD64) build)
succeeded
Sep 25, 2024 in 25m 44s
Python bindings (manylinux Centos AMD64) build succeeded
Loading