Skip to content

New community build workflow #14

New community build workflow

New community build workflow #14

community_build (spring-projects/spring-framework, 17, full)

succeeded Nov 11, 2024 in 2s
Set up job
2s
Download binaries
0s
Unpack scip-java build
0s
Run actions/checkout@v3
0s
Run actions/setup-java@v3
0s
Run ../scip-java/bin/scip-java index
0s
Complete job
0s