Skip to content

Migrate scip-gradle-plugin to Java - #917

Merged
jupblb merged 4 commits into
mainfrom
michal/gradle
Jun 22, 2026
Merged

Migrate scip-gradle-plugin to Java#917
jupblb merged 4 commits into
mainfrom
michal/gradle

Commits

Commits on Jun 22, 2026