Skip to content

Proof Minimization #685

Proof Minimization

Proof Minimization #685

Triggered via pull request October 15, 2025 13:39
Status Failure
Total duration 10m 53s
Artifacts

cibuildwheel.yml

on: pull_request
Matrix: build_wheels
Publish package to GitHub Releases
0s
Publish package to GitHub Releases
Publish package to PyPI
0s
Publish package to PyPI
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
Build wheels on macos-latest
Process completed with exit code 1.
Build wheels on macos-latest
Command ['python', '-m', 'build', '/Users/runner/work/Marabou/Marabou', '--wheel', '--outdir=/private/var/folders/q0/wmf37v850txck86cpnvwm_zw0000gn/T/cibw-run-ott6v_t8/cp39-macosx_arm64/built_wheel'] failed with code 1.
Build wheels on ubuntu-latest
The operation was canceled.
Build wheels on ubuntu-latest
The strategy configuration was canceled because "build_wheels.macos-latest" failed
Build wheels on macos-latest
Bumping MACOSX_DEPLOYMENT_TARGET (10.9) to the minimum required (11.0).