Skip to content
Release CLI

fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens) #8

Sign in to view logs

fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens)

fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens) #8

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build CLI (Linux amd64)
3m 13s
Build CLI (macOS arm64)
4m 3s
Create Release
0s
7m 16s