Update broken link in README.md

FliegendeWurst commented 5 months ago

Related Issue

This pull request fixes #3442.

Intended Change

Replace the outdated link with an up-to-date reference.

Type of pull request

[x] Bug fix (non-breaking change which fixes an issue)
[ ] Refactoring (behaviour should not change or only minimally change)
[ ] New feature (non-breaking change which adds functionality)
[ ] Breaking change (fix or feature that would cause existing functionality to change)
[ ] There are changes to the (Java) code
[ ] There are changes to the taclet rule base
[ ] There are changes to the deployment/CI infrastructure (gradle, github, ...)
[ ] Other:

Ensuring quality

[ ] I made sure that introduced/changed code is well documented (javadoc and inline comments).
[ ] I made sure that new/changed end-user features are well documented (https://github.com/KeYProject/key-docs).
[ ] I added new test case(s) for new functionality.
[ ] I have tested the feature as follows: ...
[ ] I have checked that runtime performance has not deteriorated.

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

codecov[bot] commented 5 months ago

Codecov Report

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

Project coverage is 37.85%. Comparing base (c3b3268) to head (81cab70).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #3444 +/- ## ========================================= Coverage 37.85% 37.85% Complexity 17042 17042 ========================================= Files 2082 2082 Lines 127290 127290 Branches 21441 21441 ========================================= Hits 48183 48183 Misses 73194 73194 Partials 5913 5913 ```

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

FliegendeWurst commented 4 months ago

CI is currently broken. Will need to wait for #3445 to get merged

KeYProject / key