Skip to content
CI

Fix a few bugs #872

Sign in to view logs

Fix a few bugs

Fix a few bugs #872

Triggered via pull request October 5, 2023 14:30
@misonijnikmisonijnik
opened #130
misonijnik/tc
Status Failure
Total duration 37m 45s
Artifacts –

build.yaml

on: pull_request
macOS
10m 3s
macOS
Docker
14m 31s
Docker
clang-format
5m 47s
clang-format
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

33 errors and 1 warning
Linux (Asserts disabled)
Process completed with exit code 1.
Linux (Latest klee-uclibc)
The job was canceled because "Asserts_disabled" failed.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (ASan)
The job was canceled because "Asserts_disabled" failed.
Linux (ASan)
The operation was canceled.
Linux (metaSMT)
The job was canceled because "Asserts_disabled" failed.
Linux (metaSMT)
The operation was canceled.
Linux (LLVM 12)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 12)
The operation was canceled.
Linux (STP master)
The job was canceled because "Asserts_disabled" failed.
Linux (STP master)
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.
Linux (Z3 only)
The job was canceled because "Asserts_disabled" failed.
Linux (Z3 only)
The operation was canceled.
Linux (UBSan)
The job was canceled because "Asserts_disabled" failed.
Linux (UBSan)
The operation was canceled.
Linux (LLVM 9)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 9)
The operation was canceled.
Linux (MSan)
The job was canceled because "Asserts_disabled" failed.
Linux (MSan)
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 13)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 13)
The operation was canceled.
Linux (LLVM 11, Doxygen)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 11, Doxygen)
The operation was canceled.
macOS
Process completed with exit code 1.
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/