It uses C++20 BTW #7429
Merged
It uses C++20 BTW #7429
Azure Pipelines / Z3 CI (Ubuntu with OCaml)
succeeded
Oct 20, 2024 in 28m 38s
Ubuntu with OCaml succeeded
Loading