It uses C++20 BTW #7429
Merged
It uses C++20 BTW #7429
Azure Pipelines / Z3 CI (Ubuntu build - cmake releaseClang)
succeeded
Oct 20, 2024 in 39m 6s
Ubuntu build - cmake releaseClang succeeded
Loading