Skip to content

Intergration with Cooddy #806

Intergration with Cooddy

Intergration with Cooddy #806

Triggered via pull request September 4, 2023 12:10
@ColumpioColumpio
synchronize #112
cooddy-dev
Status Failure
Total duration 9m 13s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

on: pull_request
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

35 errors and 1 warning
Linux (Z3 only)
Process completed with exit code 1.
Coverage (Z3)
Process completed with exit code 1.
Linux (Latest klee-uclibc)
The job was canceled because "Z3_only" failed.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (LLVM 14)
The job was canceled because "Z3_only" failed.
Linux (LLVM 14)
The operation was canceled.
Linux (STP master)
The job was canceled because "Z3_only" failed.
Linux (STP master)
The operation was canceled.
Linux (No TCMalloc, optimised runtime)
The job was canceled because "Z3_only" failed.
Linux (No TCMalloc, optimised runtime)
The operation was canceled.
Linux (UBSan)
The job was canceled because "Z3_only" failed.
Linux (UBSan)
The operation was canceled.
Linux (MSan)
The job was canceled because "Z3_only" failed.
Linux (MSan)
The operation was canceled.
Linux (LLVM 10)
The job was canceled because "Z3_only" failed.
Linux (LLVM 10)
The operation was canceled.
Coverage (STP)
The job was canceled because "Z3" failed.
Coverage (STP)
The operation was canceled.
Linux (LLVM 9)
The job was canceled because "Z3_only" failed.
Linux (LLVM 9)
The operation was canceled.
Linux (metaSMT)
The job was canceled because "Z3_only" failed.
Linux (metaSMT)
The operation was canceled.
Linux (LLVM 11, Doxygen)
The job was canceled because "Z3_only" failed.
Linux (LLVM 11, Doxygen)
The operation was canceled.
Linux (ASan)
The job was canceled because "Z3_only" failed.
Linux (ASan)
The operation was canceled.
Linux (LLVM 13)
The job was canceled because "Z3_only" failed.
Linux (LLVM 13)
The operation was canceled.
Linux (Asserts disabled)
The job was canceled because "Z3_only" failed.
Linux (Asserts disabled)
The operation was canceled.
Linux (LLVM 12)
The job was canceled because "Z3_only" failed.
Linux (LLVM 12)
The operation was canceled.
clang-format
Process completed with exit code 1.
Docker
Process completed with exit code 1.
macOS
Process completed with exit code 1.
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/