Skip to content
CI

Small fixes #860

Sign in to view logs

Small fixes

Small fixes #860

Triggered via pull request October 3, 2023 10:55
@ColumpioColumpio
synchronize #127
columpio/tc
Status Failure
Total duration 37m 13s
Artifacts –

build.yaml

on: pull_request
macOS
7m 35s
macOS
Docker
11m 43s
Docker
clang-format
6m 46s
clang-format
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

32 errors and 1 warning
Linux (Asserts disabled)
Process completed with exit code 1.
Linux (LLVM 11, Doxygen)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 11, Doxygen)
The operation was canceled.
Linux (LLVM 12)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 12)
The operation was canceled.
Linux (LLVM 13)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 13)
The operation was canceled.
Linux (Latest klee-uclibc)
The job was canceled because "Asserts_disabled" failed.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (MSan)
The job was canceled because "Asserts_disabled" failed.
Linux (MSan)
The operation was canceled.
Linux (Z3 only)
The job was canceled because "Asserts_disabled" failed.
Linux (Z3 only)
The operation was canceled.
Linux (LLVM 14)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 14)
The operation was canceled.
Linux (LLVM 10)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 10)
The operation was canceled.
Linux (LLVM 9)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 9)
The operation was canceled.
Linux (metaSMT)
The job was canceled because "Asserts_disabled" failed.
Linux (metaSMT)
The operation was canceled.
Linux (UBSan)
The job was canceled because "Asserts_disabled" failed.
Linux (UBSan)
The operation was canceled.
Linux (STP master)
The job was canceled because "Asserts_disabled" failed.
Linux (STP master)
The operation was canceled.
Linux (ASan)
The job was canceled because "Asserts_disabled" failed.
Linux (ASan)
The operation was canceled.
Linux (No TCMalloc, optimised runtime)
The job was canceled because "Asserts_disabled" failed.
Linux (No TCMalloc, optimised runtime)
The operation was canceled.
Coverage (STP)
Process completed with exit code 1.
Coverage (Z3)
The job was canceled because "STP" failed.
Coverage (Z3)
The operation was canceled.
clang-format
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/