Prepare and publish the KeY 3.0 Release Candidate.
- Ensure all milestone issues required for a release candidate are closed or tracked.
- Produce downloadable artifacts.
- Prepare release notes and documentation update.
- Testing and feedback phase.
This issue contributes to the 3.0.0 milestone (see #release-3.0-tracking for all release tasks).
Prepare and publish the KeY 3.0 Release Candidate.
This issue contributes to the 3.0.0 milestone (see #release-3.0-tracking for all release tasks).