Skip to content
CMake

Update CMake configuration to exclude Z3 source directory from covera… #448

Sign in to view logs

Update CMake configuration to exclude Z3 source directory from covera…

Update CMake configuration to exclude Z3 source directory from covera… #448

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu-memcheck
35m 26s
ubuntu-address-undefined-coverage
34m 13s
macos-release
15m 53s
macos-address-undefined
14m 26s
ubuntu-release
37m 40s
windows-debug
43m 24s
windows-release
39m 8s
3h 40m 10s