Re-enable sonarqube for quality assessment (#3488) · KeYProject/key@9b32d97

Triggered via push November 22, 2024 18:55

main

Status Success

Total duration 1h 7m 14s

Artifacts 5

tests.yml

on: push

Matrix: integration-tests

Matrix: unit-tests

6 warnings and 3 notices

Cache cleanup failed. Will continue. Error: The process '/usr/bin/gradle' failed with exit code 1

Cache cleanup failed. Will continue. Error: The process '/usr/bin/gradle' failed with exit code 1

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

Cache cleanup failed. Will continue. Error: The process 'C:\ProgramData\Chocolatey\bin\gradle.EXE' failed with exit code 1

Cache cleanup failed. Will continue. Error: The process '/usr/bin/gradle' failed with exit code 1

Cache cleanup failed. Will continue. Error: The process '/usr/bin/gradle' failed with exit code 1

{Z3 found. Caching works! Skip installation}

{Z3 found. Caching works! Skip installation}

{Z3 found. Caching works! Skip installation}

Produced during runtime

Name	Size
test-results-testProveRules	50.4 KB
test-results-testRunAllFunProofs	385 KB
test-results-testRunAllInfProofs	197 KB
test-results-ubuntu-latest	696 KB
test-results-windows-latest	695 KB