Incremental solving infrastructure (#831) · NeuralNetworkVerification/Marabou@93cbbcf

Re-run triggered August 25, 2024 17:24

wu-haoze

master

Status Success

Total duration 24m 2s

Artifacts –

ci.yml

on: push

Matrix: build

3 warnings

Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.

cmake 3.30.2 is already installed and up-to-date. To reinstall 3.30.2, run: brew reinstall cmake

Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1