Skip to content

Merge pull request #13 from mkoeppe/ci-sage-scip-9 #42

Merge pull request #13 from mkoeppe/ci-sage-scip-9

Merge pull request #13 from mkoeppe/ci-sage-scip-9 #42

macos  /  local-macos (12, homebrew-macos-usrlocal-minimal)

succeeded Mar 6, 2024 in 47m 0s