Skip to content
CI

CI #535

Sign in to view logs

CI

CI #535

Re-run triggered October 6, 2024 09:59
@misonijnikmisonijnik
⁠ 94d27a3
misonijnik/smithril
Status Cancelled
Total duration 4m 55s
Artifacts –

build.yaml

on: workflow_dispatch
macOS
32s
macOS
Docker
1m 46s
Docker
clang-format
8s
clang-format
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

40 errors and 5 warnings
macOS
The run was canceled by @misonijnik.
macOS
The operation was canceled.
Docker
The run was canceled by @misonijnik.
Docker
The operation was canceled.
Coverage (Bitwuzla)
The run was canceled by @misonijnik.
Coverage (Bitwuzla)
The operation was canceled.
Coverage (Z3)
The run was canceled by @misonijnik.
Coverage (Z3)
The operation was canceled.
Coverage (STP)
The run was canceled by @misonijnik.
Coverage (STP)
The operation was canceled.
Linux (LLVM 16)
The job was canceled because "STP_master" failed.
Linux (LLVM 16)
The operation was canceled.
Linux (LLVM 14)
The job was canceled because "STP_master" failed.
Linux (LLVM 14)
The operation was canceled.
Linux (LLVM 15)
The job was canceled because "STP_master" failed.
Linux (LLVM 15)
The operation was canceled.
Linux (LLVM 11, Doxygen)
The job was canceled because "STP_master" failed.
Linux (LLVM 11, Doxygen)
The operation was canceled.
Linux (ASan)
The job was canceled because "STP_master" failed.
Linux (ASan)
The operation was canceled.
Linux (LLVM 13)
The job was canceled because "STP_master" failed.
Linux (LLVM 13)
The operation was canceled.
Linux (Asserts disabled)
The job was canceled because "STP_master" failed.
Linux (Asserts disabled)
The operation was canceled.
Linux (LLVM 12)
The job was canceled because "STP_master" failed.
Linux (LLVM 12)
The operation was canceled.
Linux (metaSMT)
The job was canceled because "STP_master" failed.
Linux (No TCMalloc, optimised runtime)
The job was canceled because "STP_master" failed.
Linux (metaSMT)
The operation was canceled.
Linux (No TCMalloc, optimised runtime)
The operation was canceled.
Linux (STP master)
Process completed with exit code 1.
Linux (MSan)
The job was canceled because "STP_master" failed.
Linux (MSan)
The operation was canceled.
Linux (UBSan)
The job was canceled because "STP_master" failed.
Linux (Bitwuzla only)
The job was canceled because "STP_master" failed.
Linux (Bitwuzla only)
The operation was canceled.
Linux (Latest klee-uclibc)
The job was canceled because "STP_master" failed.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (Z3 only)
The job was canceled because "STP_master" failed.
Linux (Smithril only)
Process completed with exit code 1.
macOS
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.
macOS
cmake 3.30.3 is already installed and up-to-date. To reinstall 3.30.3, run: brew reinstall cmake
clang-format
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Linux (STP master)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Linux (Smithril only)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/