Set version to 2.13.0-dev (#3689)

Author: wadoon

.github/release.yml

@@ -14,15 +14,23 @@ changelog:
     - title: Breaking Changes 🗲
       labels:
         - "Breaking Change"
+        - "Breaks API"
     - title: Exciting New Features 🎉
       labels:
         - "Exciting New Feature"
+    - title: Features
+      labels:
+        - "Feature"
     - title: Enhancement
       labels:
         - "Enhancement"
     - title: Bug Fixes
       labels:
-        - "🐞 Bug"
+        - ":lady_beetle: Bug"
+        - "✋ Soundness"
+    - title: Dependencies
+      labels:
+        - dependencies
     - title: Other Changes
       labels:
         - "*"

build.gradle

@@ -46,7 +46,7 @@ static def getDate() {
 def build = System.env.BUILD_NUMBER == null ? "-dev" : "-${System.env.BUILD_NUMBER}"
 
 group = "org.key-project"
-version = "2.12.4$build"
+version = "2.13.0$build"
 
 subprojects {
     apply plugin: "java"