test(integration): add real-repo SCIP integration tests for all supported languages#468

Open

jafreck wants to merge 18 commits into

mainfrom

test/integration-scip-languages

Commits on Apr 2, 2026

test(integration): add real-repo SCIP integration tests for all supported languages
jafreck
committed
Merge branch 'main' into test/integration-scip-languages
jafreck
authored
test(scip): add unit tests for SCIP registry fixes and project discovery
jafreck
committed
ci(integration): install SCIP indexers explicitly, mark fragile languages as allow-failure
jafreck
committed
ci(integration): mark java as allow-failure for SCIP timeout
jafreck
committed
ci(integration): mark scip-c as allow-failure
jafreck
committed
fix(integration): resolve all 5 failing SCIP language CI jobs
jafreck
committed
fix(integration): clear stale DB cache, always rebuild before indexing
jafreck
committed
fix(integration): debug SCIP indexer availability in CI, fix scip-java install
jafreck
committed
fix: remove accidentally committed embedded git repos
jafreck
committed
ci(integration): separate build-system-dependent languages as allow-failure
jafreck
committed
fix(ci): use coursier launch wrapper for scip-java, cache before install, remove allow-failure
jafreck
committed
fix(integration): run SCIP indexers as build commands with pre-computed indexes
jafreck
committed
fix(integration): use cs (not coursier) in wrapper, add coursier bin to PATH
jafreck
committed
fix(integration): revert pre-computed SCIP index approach, fix timeouts
jafreck
committed
fix: remove embedded repos, add to gitignore
jafreck
committed
ci: bust stale caches (v3)
jafreck
committed

Commits on Apr 7, 2026

Merge branch 'main' into test/integration-scip-languages
jafreck
authored