Skip to content
CI

[test] #464

Sign in to view logs

[test]

[test] #464

Triggered via push February 15, 2024 21:31
@misonijnikmisonijnik
pushed 29b9a6b
ci
Status Cancelled
Total duration 3m 15s
Artifacts –

build.yaml

on: push
macOS
2m 56s
macOS
Docker
2m 49s
Docker
clang-format
2m 49s
clang-format
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

22 errors and 18 warnings
Linux (No TCMalloc, optimised runtime)
The run was canceled by @misonijnik.
Linux (STP master)
The run was canceled by @misonijnik.
Linux (MSan)
The run was canceled by @misonijnik.
Linux (Z3 only)
The run was canceled by @misonijnik.
Linux (UBSan)
The run was canceled by @misonijnik.
Coverage (STP)
The operation was canceled.
Docker
The operation was canceled.
clang-format
The operation was canceled.
Linux (LLVM 12)
The operation was canceled.
Linux (Asserts disabled)
The operation was canceled.
Coverage (Z3)
The operation was canceled.
Linux (LLVM 9)
The operation was canceled.
Linux (ASan)
The operation was canceled.
Linux (LLVM 11, Doxygen)
The operation was canceled.
Linux (LLVM 10)
The operation was canceled.
Linux (LLVM 14)
The operation was canceled.
Linux (LLVM 13)
The operation was canceled.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (Bitwuzla only)
The operation was canceled.
Coverage (Bitwuzla)
The operation was canceled.
Linux (metaSMT)
The operation was canceled.
macOS
The operation was canceled.
Coverage (STP)
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/.
clang-format
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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/
Linux (LLVM 12)
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 (Asserts disabled)
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/.
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 (LLVM 9)
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 (ASan)
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 (LLVM 11, Doxygen)
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 (LLVM 10)
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 (LLVM 14)
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 (LLVM 13)
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 (Latest klee-uclibc)
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 (Bitwuzla only)
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/.
Coverage (Bitwuzla)
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 (metaSMT)
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/.