Cleanup: Making the build script fit for the future. #2811
Annotations
1 error and 3 warnings
|
Running tests: testRunAllFunProofs
Process completed with exit code 1.
|
|
Upload test results
No files were found with the provided path: **/build/test-results/*/*.xml
key.core/build/reports/runallproofs/*
**/build/reports/. No artifacts will be uploaded.
|
|
Cache SMT-Solvers
Cache not found for keys: Linux-smt-solvers
|
|
Set up JDK 21
Cache not found for keys: setup-java-Linux-x64-gradle-25b639438f184b6d3f65e526012bab39590be6937c5964b51ba3921f9264dbb3
|
Loading