From 398f9ffd17bb65409b2e81d2fb4af748da8808c1 Mon Sep 17 00:00:00 2001 From: Richard Bubel Date: Thu, 19 Mar 2026 15:57:39 +0100 Subject: [PATCH] Prepare for KeY 2.12.4 --- .github/workflows/nightlydeploy.yml | 2 +- LICENSE.TXT | 2 +- README.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/nightlydeploy.yml b/.github/workflows/nightlydeploy.yml index c655799b929..707c970c50e 100644 --- a/.github/workflows/nightlydeploy.yml +++ b/.github/workflows/nightlydeploy.yml @@ -81,7 +81,7 @@ jobs: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | gh release create --generate-notes --title "Nightly Release" \ - --prerelease --notes-start-tag KEY-2.12.3 \ + --prerelease --notes-start-tag KEY-2.12.4-rc \ nightly key.ui/build/libs/key-*-exe.jar deploy-maven: diff --git a/LICENSE.TXT b/LICENSE.TXT index dbafedb51f2..1a701bdf921 100644 --- a/LICENSE.TXT +++ b/LICENSE.TXT @@ -3,7 +3,7 @@ Copyright (C) 2001-2011 Universitaet Karlsruhe (TH), Germany Universitaet Koblenz-Landau, Germany Chalmers University of Technology, Sweden - Copyright (C) 2011-2019 Karlsruhe Institute of Technology, Germany + Copyright (C) 2011-2026 Karlsruhe Institute of Technology, Germany Technical University Darmstadt, Germany Chalmers University of Technology, Sweden diff --git a/README.md b/README.md index e9d834c472a..9909a37f752 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ For more information, refer to * [Verification of `java.util.IdentityHashMap`](https://doi.org/10.1007/978-3-031-07727-2_4), * [Google Award for analysing a bug in `LinkedList`](https://www.key-project.org/2023/07/23/cwi-researchers-win-google-award-for-finding-a-bug-in-javas-linkedlist-using-key/) -The current version of KeY is 2.12.2, licensed under GPL v2. +The current version of KeY is 2.12.4, licensed under GPL v2. Feel free to use the project templates to get started using KeY: