Release 3.13.0

Author: tyron12233

ide-android/build.gradle.kts

@@ -391,8 +391,8 @@ android {
         minSdk = 26
         targetSdk = 36
         // versionCode must exceed the last published release (the previous-codebase app reached ~29).
-        versionCode = 85
-        versionName = "3.12.0"
+        versionCode = 86
+        versionName = "3.13.0"
         // connectedAndroidTest harness (the on-device Kotlin-compiler discovery spike).
         testInstrumentationRunner = "androidx.test.runner.AndroidJUnitRunner"