Merge branch 'keep-implications-between-restarts2' of https://github.… · ERGO-Code/HiGHS@fb5626e

Triggered via push August 24, 2026 09:57

fwesselm

Status Success

Total duration 6m 28s

Artifacts –

build-linux.yml

on: push

Matrix: debug

Matrix: debug64

Matrix: debug64_all_tests

Matrix: debug_all_tests

Matrix: release

Matrix: Release64

Matrix: Release64_all_tests

Matrix: release_all_tests

1 error

unable to access 'https://github.com/ERGO-Code/HiGHS/': Failed to connect to github.com port 443 after 27209 ms: Couldn't connect to server