Skip to content

Use SCIP 10.0.2 for from-source, system, and conda CI#41

Merged
mmghannam merged 1 commit into
mainfrom
ci-from-source-scip-10
Jun 23, 2026
Merged

Use SCIP 10.0.2 for from-source, system, and conda CI#41
mmghannam merged 1 commit into
mainfrom
ci-from-source-scip-10

Conversation

@mmghannam

Copy link
Copy Markdown
Member

Follow-up to #40 (which moved the bundled feature to SCIP 10). This moves the remaining CI jobs off SCIP 9.2.4:

  • from-source: from_source.rs now downloads the official scipoptsuite-10.0.2.tgz. Since it's a tarball (no source zip is published for v10), download.rs gains a download_and_extract_tar_gz helper (new optional flate2/tar build-deps, gated behind the from-source feature).
  • linux-system: installs the SCIP 10.0.2 Debian package. The v10 asset naming changed (scipoptsuite_10.0.2-1+jammy_amd64.deb, tag v10.0.2 with dots), so the download URL is updated accordingly.
  • conda: pins scip=10.0.2 (was unpinned, silently tracking conda-forge latest).

Verified locally: cargo build --features from-source builds SCIP 10 from source and cargo test --features from-source --tests passes.

@mmghannam
mmghannam enabled auto-merge June 23, 2026 16:19
@mmghannam
mmghannam merged commit d767b96 into main Jun 23, 2026
11 checks passed
@mmghannam mmghannam mentioned this pull request Jun 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant