Skip to content
CI

Incremental solving infrastructure #1145

Sign in to view logs

Incremental solving infrastructure

Incremental solving infrastructure #1145

Triggered via pull request August 24, 2024 00:19
@wu-haozewu-haoze
synchronize #831
wu-haoze:inc-marabou
Status Failure
Total duration 11m 15s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 2 warnings
Debug build with g++ on ubuntu-latest
Process completed with exit code 2.
Debug build with clang++ on ubuntu-latest
The job was canceled because "ubuntu-latest_g___Debug" failed.
Debug build with clang++ on ubuntu-latest
The operation was canceled.
Release build with clang++ on ubuntu-latest
The job was canceled because "ubuntu-latest_g___Debug" failed.
Release build with clang++ on ubuntu-latest
The operation was canceled.
Release build with g++ on ubuntu-latest
The job was canceled because "ubuntu-latest_g___Debug" failed.
Release build with g++ on ubuntu-latest
The operation was canceled.
Release build with clang++ on macos-latest
The job was canceled because "ubuntu-latest_g___Debug" failed.
Release build with clang++ on macos-latest
The operation was canceled.
Release build with clang++ on macos-latest
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.
Release build with clang++ on macos-latest
cmake 3.30.2 is already installed and up-to-date. To reinstall 3.30.2, run: brew reinstall cmake