Skip to content
Build and run tests (Linux)

Create VCD file from SMT file #3520

Sign in to view logs

Create VCD file from SMT file

Create VCD file from SMT file #3520

Triggered via push June 27, 2024 14:36
@RCoeurjolyRCoeurjoly
pushed 1121a31
functional
Status Failure
Total duration 12m 23s
Artifacts –

test-linux.yml

on: push
Matrix: test-linux
Fit to window
Zoom out
Zoom in

Annotations

6 errors
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++11)
Process completed with exit code 2.
test-linux (ubuntu-20.04, focal, gcc-10, 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, gcc-11, c++14)
Process completed with exit code 2.
test-linux (ubuntu-20.04, focal, gcc-11, c++11)
Process completed with exit code 2.