ci: update gradle workflow and split into jobs#13

Open

nils-loose wants to merge 3 commits into

mainfrom

ci/update-gradle-workflow

Commits on Apr 13, 2026

ci: update gradle workflow to fix deprecated actions and split into jobs
nils-loose
committed
bump JavaSMT from 4.1.1 to 6.0.0

nils-loose
and
claude
committed
fix: remove stale tests and make ClassDepot registration idempotent

nils-loose
and
claude
committed