Improve native optimization and expose MiniZinc strategy controls

b113c9b

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

CI on: pull_request 5

tidy

build-autoconf (macos-15)

build-autoconf (ubuntu-latest)

build-cmake-unix (macos-15, OFF)

build-cmake-unix (ubuntu-latest, ON)

build-cmake-unix-ninja

build-32-bit-linkage

build-cmake-qt-gist

build-cmake-qt5-gist-smoke

build-cmake-windows (shared, ON, OFF)

build-cmake-windows (static, OFF, ON)

build-cmake-windows-vcpkg

build-cmake-windows-msys2

build-autoconf-windows

Optimization component on: pull_request 10

Core / ubuntu-24.04 / shared=OFF

Core / ubuntu-24.04 / shared=ON

Core / macos-15 / shared=OFF

Core / macos-15 / shared=ON

Core / windows-2022 / shared=OFF

Core / windows-2022 / shared=ON

Native combined / ubuntu-24.04 / shared=OFF

Native combined / windows-2022 / shared=ON

HiGHS / ubuntu-24.04 / shared=OFF

HiGHS / macos-15 / shared=OFF

HiGHS / windows-2022 / shared=ON

Full-source ASan and UBSan

Full native and HiGHS hybrid ASan and UBSan

Annotations

2 errors

The strategy configuration was canceled because "build-autoconf.macos-15" failed

The operation was canceled.

build-autoconf (ubuntu-latest)

cancelled Sep 8, 2026 in 39s

Loading