Build and run tests (Linux)

add initial version of functional smtlib backend #3490

Sign in to view logs

Triggered via push May 23, 2024 10:41

aiju

functional

Status Failure

Total duration 7m 55s

Artifacts –

test-linux.yml

on: push

Matrix: test-linux

Annotations

10 errors

test-linux (ubuntu-20.04, focal, gcc-10, c++11)

Process completed with exit code 2.

test-linux (ubuntu-20.04, focal, gcc-11, c++11)

Process completed with exit code 2.

test-linux (ubuntu-20.04, focal, gcc-11, c++14)

Process completed with exit code 2.

test-linux (ubuntu-20.04, focal, gcc-11, c++17)

Process completed with exit code 2.

test-linux (ubuntu-20.04, focal, gcc-11, c++20)

Process completed with exit code 2.

test-linux (ubuntu-20.04, focal, clang-12, c++11)

Process completed with exit code 2.

test-linux (ubuntu-20.04, focal, clang-11, c++11)

Process completed with exit code 2.

test-linux (ubuntu-20.04, focal, clang-12, c++14)

Process completed with exit code 2.

test-linux (ubuntu-20.04, focal, clang-12, c++17)

Process completed with exit code 2.

test-linux (ubuntu-20.04, focal, clang-12, c++20)

Process completed with exit code 2.