Repository navigation

Publish scip-kotlin-analysis with JetBrains-only jars bundled - #1070

Merged

christoph-sg merged 2 commits into

mainfrom

publish-scip-kotlin-analysis

Nov 5, 2026

Merged

Publish scip-kotlin-analysis with JetBrains-only jars bundled#1070
christoph-sg merged 2 commits into
mainfrom
publish-scip-kotlin-analysis

Commits on Nov 5, 2026
- Publish scip-kotlin-analysis with JetBrains-only jars bundled
  
  christoph-sg
  and
  ampagent
  committed
  a253039
- Build the release launcher with cs bootstrap --assembly
  
  christoph-sg
  and
  ampagent
  committed
  899442c