search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
42 stars 24 forks source link

Re-enable sonarqube for quality assessment #3488

Open wadoon opened 3 weeks ago

wadoon commented 3 weeks ago

Issue

As discussed in the kakey meetting, the current situation of the quality assessment tool is rather unsatisfying. This PR removes the current tools (pmd, checkstyle, qodana, codeql) in favor sonarqube (again).

Intended Change

Integration of sonarqube. Removal of the rest.

Type of pull request

Ensuring quality

wadoon commented 2 weeks ago

@Drodt @WolframPfeifer

I added this branch to some of PR to test the analysis:

So we can investigate the difference analyses.

sonarcloud[bot] commented 2 weeks ago

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud