KeYProject / key

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

Renovation: `package.html` to `package-info.java` #3381

Closed wadoon closed 8 months ago

wadoon commented 8 months ago

Intended Change

Renovation: Automatic translation of package.html to package-info.java.

Type of pull request

codecov[bot] commented 8 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (5dc944b) 37.97% compared to head (1221667) 37.97%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #3381 +/- ## ========================================= Coverage 37.97% 37.97% Complexity 17035 17035 ========================================= Files 2060 2060 Lines 126146 126146 Branches 21292 21292 ========================================= Hits 47910 47910 Misses 72351 72351 Partials 5885 5885 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.