Cleanup: Making the build script fit for the future. #2849
Annotations
1 error, 1 warning, and 1 notice
|
Running tests: testRunAllInfProofs
Process completed with exit code 1.
|
|
Set up JDK 21
Cache not found for keys: setup-java-Linux-x64-gradle-40e50423a444b9390861894eae287cfbe3fd452385768a30af217a0cdff0260a
|
|
Install SMT-Solvers
{Z3 found. Caching works! Skip installation}
|
Loading