Skip to content

Avoid postsolve after sparsify may have been used in presolve #9498

Avoid postsolve after sparsify may have been used in presolve

Avoid postsolve after sparsify may have been used in presolve #9498

Triggered via pull request August 16, 2025 13:24
Status Success
Total duration 10m 36s
Artifacts

build-windows.yml

on: pull_request
fast_build_release
3m 9s
fast_build_release
fast_build_release_all_tests
6m 13s
fast_build_release_all_tests
windows_release_fb_off
7m 58s
windows_release_fb_off
fast_build_debug
1m 55s
fast_build_debug
fast_build_debug_all_tests
10m 30s
fast_build_debug_all_tests
windows_debug_fb_off
9m 22s
windows_debug_fb_off
windows_release64
2m 54s
windows_release64
windows_release64_all_tests
6m 9s
windows_release64_all_tests
windows_release64_fb_off
8m 6s
windows_release64_fb_off
windows_debug64
2m 2s
windows_debug64
windows_debug64_all_tests
8m 47s
windows_debug64_all_tests
windows_debug64_fb_off
10m 1s
windows_debug64_fb_off
Fit to window
Zoom out
Zoom in

Annotations

6 notices
fast_build_debug
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
windows_debug64
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
windows_debug64_all_tests
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
windows_debug_fb_off
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
windows_debug64_fb_off
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
fast_build_debug_all_tests
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677