Skip to content
CI

[ci] #1474

Sign in to view logs

[ci]

[ci] #1474

Triggered via push November 15, 2024 12:49
@misonijnikmisonijnik
pushed a213be7
bidirectional
Status Failure
Total duration 14m 14s
Artifacts –

build.yaml

on: push
macOS
18s
macOS
Docker
8m 22s
Docker
clang-format
5m 40s
clang-format
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

40 errors and 8 warnings
macOS
llvm@11 has been disabled because it is a versioned formula! It was disabled on 2024-02-22.
macOS
llvm@11 has been disabled because it is a versioned formula! It was disabled on 2024-02-22.
macOS
llvm@11 has been disabled because it is a versioned formula! It was disabled on 2024-02-22.
macOS
llvm@11 has been disabled because it is a versioned formula! It was disabled on 2024-02-22.
macOS
Process completed with exit code 1.
Linux (LLVM 11, Doxygen)
Process completed with exit code 1.
Linux (Z3 only)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (Bitwuzla only)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (Bitwuzla only)
Process completed with exit code 1.
Linux (LLVM 12)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (LLVM 12)
The operation was canceled.
Linux (STP master)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (STP master)
The operation was canceled.
Linux (UBSan)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (UBSan)
The operation was canceled.
Linux (No TCMalloc, optimised runtime)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (No TCMalloc, optimised runtime)
The operation was canceled.
Linux (MSan)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (MSan)
The operation was canceled.
Linux (Latest klee-uclibc)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (metaSMT)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (metaSMT)
The operation was canceled.
Linux (LLVM 13)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (LLVM 13)
The operation was canceled.
Linux (ASan)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (ASan)
The operation was canceled.
Linux (LLVM 9)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (LLVM 9)
The operation was canceled.
Linux (LLVM 10)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (LLVM 14)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (LLVM 10)
The operation was canceled.
Linux (LLVM 14)
The operation was canceled.
Linux (Asserts disabled)
The job was canceled because "LLVM_11__Doxygen" failed.
Linux (Asserts disabled)
The operation was canceled.
Coverage (Bitwuzla)
Process completed with exit code 1.
Coverage (Z3)
The job was canceled because "Bitwuzla" failed.
Coverage (Z3)
The operation was canceled.
Coverage (STP)
The job was canceled because "Bitwuzla" failed.
Coverage (STP)
The operation was canceled.
macOS
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/
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.31.0 is already installed and up-to-date. To reinstall 3.31.0, run: brew reinstall cmake
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/
clang-format
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Linux (LLVM 11, Doxygen)
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/
Docker
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/
Coverage (Bitwuzla)
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/