CI

add check-api in the CI #312

Sign in to view logs

Triggered via pull request January 9, 2024 22:45

ahmed-irfan

opened #485

update-ci-check-api

Status Failure

Total duration 2m 44s

Artifacts –

ci.yml

on: pull_request

Matrix: build

Annotations

10 errors

ubuntu-latest|release|--enable-thread-safety|CC=gcc CXX=g++

Process completed with exit code 2.

ubuntu-latest|release|--enable-mcsat|CC=clang CXX=clang++

The operation was canceled.

ubuntu-latest|debug|--enable-mcsat|CC=gcc CXX=g++

The operation was canceled.

ubuntu-latest|debug|--enable-thread-safety --enable-mcsat|CC=gcc CXX=g++

The operation was canceled.

ubuntu-latest|gcov|--enable-mcsat|CC=gcc CXX=g++

The operation was canceled.

ubuntu-latest|release|--enable-mcsat|CC=gcc CXX=g++

The operation was canceled.

ubuntu-latest|debug|--enable-thread-safety|CC=gcc CXX=g++

The operation was canceled.

ubuntu-latest|debug|--enable-thread-safety|CC=clang CXX=clang++

The operation was canceled.

ubuntu-latest|release|--enable-thread-safety|CC=clang CXX=clang++

The operation was canceled.

ubuntu-latest|debug|--enable-mcsat|CC=clang CXX=clang++

The operation was canceled.