Skip to content
Tests

Cleanup: Making the build script fit for the future. #2811

Sign in to view logs

Cleanup: Making the build script fit for the future.

Cleanup: Making the build script fit for the future. #2811

Triggered via pull request February 15, 2025 01:15
@wadoonwadoon
opened #3552
weigl/cleanup/gradle
Status Success
Total duration 1m 12s
Artifacts –

tests.yml

on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 13 warnings
unit-tests (ubuntu-latest, 21)
Process completed with exit code 1.
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
Process completed with exit code 1.
integration-tests (testProveRules, ubuntu-latest, 21)
Process completed with exit code 1.
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Process completed with exit code 1.
unit-tests (windows-latest, 21)
Process completed with exit code 1.
unit-tests (ubuntu-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.
unit-tests (ubuntu-latest, 21)
Cache not found for keys: setup-java-Linux-x64-gradle-25b639438f184b6d3f65e526012bab39590be6937c5964b51ba3921f9264dbb3
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml key.core/build/reports/runallproofs/* **/build/reports/. No artifacts will be uploaded.
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
Cache not found for keys: setup-java-Linux-x64-gradle-25b639438f184b6d3f65e526012bab39590be6937c5964b51ba3921f9264dbb3
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
Cache not found for keys: Linux-smt-solvers
integration-tests (testProveRules, ubuntu-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml key.core/build/reports/runallproofs/* **/build/reports/. No artifacts will be uploaded.
integration-tests (testProveRules, ubuntu-latest, 21)
Cache not found for keys: setup-java-Linux-x64-gradle-25b639438f184b6d3f65e526012bab39590be6937c5964b51ba3921f9264dbb3
integration-tests (testProveRules, ubuntu-latest, 21)
Cache not found for keys: Linux-smt-solvers
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml key.core/build/reports/runallproofs/* **/build/reports/. No artifacts will be uploaded.
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Cache not found for keys: Linux-smt-solvers
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Cache not found for keys: setup-java-Linux-x64-gradle-25b639438f184b6d3f65e526012bab39590be6937c5964b51ba3921f9264dbb3
unit-tests (windows-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.
unit-tests (windows-latest, 21)
Cache not found for keys: setup-java-Windows-x64-gradle-ddd6d059c886fcca4ff1835a5a2f20ace94c414d6c5d787546de54ae49fde3a1