search

KeYProject / key

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

Push gradle version and update build.gradle for future compatibility to the upcoming gradle 9.x series #3319

Closed unp1 closed 11 months ago

codecov[bot] commented 11 months ago

Codecov Report

Merging #3319 (8948999) into main (671da01) will decrease coverage by 0.01%. The diff coverage is n/a.

@@             Coverage Diff              @@
##               main    #3319      +/-   ##
============================================
- Coverage     37.81%   37.81%   -0.01%     
  Complexity    16856    16856              
============================================
  Files          2051     2051              
  Lines        125422   125422              
  Branches      21226    21226              
============================================
- Hits          47433    47431       -2     
- Misses        72150    72152       +2     
  Partials       5839     5839

see 1 file with indirect coverage changes

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more

github-actions[bot] commented 11 months ago

Thank you for your contribution.

The test artifacts are available on Artiweb. The newest artifact is here.