Skip to content
Build and run tests (Linux)

Ignore smt2 files, generated by the execution of the tests #3515

Sign in to view logs

Ignore smt2 files, generated by the execution of the tests

Ignore smt2 files, generated by the execution of the tests #3515

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-linux (ubuntu-20.04, focal, clang-12, c++11)
52s
test-linux (ubuntu-20.04, focal, clang-12, c++14)
41s
test-linux (ubuntu-20.04, focal, clang-12, c++17)
10m 53s
test-linux (ubuntu-20.04, focal, clang-12, c++20)
11m 20s
test-linux (ubuntu-20.04, focal, gcc-11, c++11)
1m 32s
test-linux (ubuntu-20.04, focal, gcc-11, c++14)
1m 28s
test-linux (ubuntu-20.04, focal, gcc-11, c++17)
10m 18s
test-linux (ubuntu-20.04, focal, gcc-11, c++20)
11m 19s
test-linux (ubuntu-20.04, focal, clang-11, c++11)
38s
test-linux (ubuntu-20.04, focal, gcc-10, c++11)
53s
49m 54s