Skip to content
CI

[ci] #502

Sign in to view logs

[ci]

[ci] #502

Triggered via push March 6, 2024 18:27
@misonijnikmisonijnik
pushed 8a0def9
ci
Status Failure
Total duration 5m 38s
Artifacts –

build.yaml

on: push
macOS
4m 7s
macOS
Docker
2m 11s
Docker
clang-format
12s
clang-format
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

39 errors and 5 warnings
clang-format
Process completed with exit code 1.
Coverage (Z3)
Process completed with exit code 1.
Coverage (STP)
The job was canceled because "Z3" failed.
Coverage (STP)
Process completed with exit code 1.
Linux (No TCMalloc, optimised runtime)
Process completed with exit code 1.
Coverage (Bitwuzla)
The job was canceled because "Z3" failed.
Coverage (Bitwuzla)
The operation was canceled.
Linux (metaSMT)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (metaSMT)
The operation was canceled.
Linux (LLVM 14)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (LLVM 14)
The operation was canceled.
Linux (LLVM 10)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (LLVM 10)
The operation was canceled.
Linux (Asserts disabled)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (Asserts disabled)
The operation was canceled.
Linux (Z3 only)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (Z3 only)
The operation was canceled.
Linux (LLVM 9)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (LLVM 9)
The operation was canceled.
Linux (Latest klee-uclibc)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (UBSan)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (UBSan)
The operation was canceled.
Linux (ASan)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (ASan)
The operation was canceled.
Linux (MSan)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (MSan)
The operation was canceled.
Linux (STP master)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (STP master)
The operation was canceled.
Linux (LLVM 13)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (LLVM 13)
The operation was canceled.
Linux (LLVM 11, Doxygen)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (LLVM 12)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (LLVM 11, Doxygen)
The operation was canceled.
Linux (LLVM 12)
The operation was canceled.
Linux (Bitwuzla only)
The job was canceled because "No_TCMalloc__optimised_ru" failed.
Linux (Bitwuzla only)
The operation was canceled.
Docker
Process completed with exit code 1.
macOS
Process completed with exit code 1.
clang-format
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Coverage (Z3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Linux (No TCMalloc, optimised runtime)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Docker
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
macOS
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.