Skip to content

fix(ci): use macos-15 runner for full C++20 support in Z3 build #21

fix(ci): use macos-15 runner for full C++20 support in Z3 build

fix(ci): use macos-15 runner for full C++20 support in Z3 build #21