Bump version to 0.10.0

bindings/dotnet/Scip.csproj

@@ -16,7 +16,7 @@
   <PropertyGroup>
     <PackageId>Scip</PackageId>
     <!-- Must match cmd/scip/version.txt (enforced by .github/workflows/dotnet-bindings.yaml). -->
-    <Version>0.9.0</Version>
+    <Version>0.10.0</Version>
     <Description>
       Generated .NET bindings for the Semantic Code Intelligence Protocol (SCIP).
     </Description>

bindings/haskell/scip.cabal

@@ -1,7 +1,7 @@
 cabal-version:      3.6
 
 name:               scip
-version:            0.9.0
+version:            0.10.0
 synopsis:           Haskell bindings for the SCIP code intelligence protocol
 description:
     SCIP (pronounced "skip") is a language-agnostic protocol for

bindings/java/pom.xml

@@ -6,7 +6,7 @@
 
   <groupId>org.scip-code</groupId>
   <artifactId>scip-java-bindings</artifactId>
-  <version>0.9.0</version>
+  <version>0.10.0</version>
   <packaging>jar</packaging>
 
   <name>scip-java-bindings</name>

bindings/kotlin/pom.xml

@@ -6,7 +6,7 @@
 
   <groupId>org.scip-code</groupId>
   <artifactId>scip-kotlin-bindings</artifactId>
-  <version>0.9.0</version>
+  <version>0.10.0</version>
   <packaging>jar</packaging>
 
   <name>scip-kotlin-bindings</name>

bindings/rust/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "scip"
-version = "0.9.0"
+version = "0.10.0"
 edition = "2021"
 license = "Apache-2.0"
 description = """

bindings/typescript/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@scip-code/scip",
-  "version": "0.9.0",
+  "version": "0.10.0",
   "description": "Generated TypeScript definitions for the Semantic Code Intelligence Protocol.",
   "repository": {
     "type": "git",

checks.nix

@@ -175,7 +175,7 @@
       pname = "scip-bindings-typescript";
       inherit version;
       src = ./bindings/typescript;
-      npmDepsHash = "sha256-wa2Qh3FfCo01ew8vA4w5snd1wb1jQv/GaVR+vjiIrYI=";
+      npmDepsHash = "sha256-OiM5KpWXA5DTEtVeWH7AXpo7Ttg4NWY6OLx2WTRPGfE=";
       buildPhase = ''
         runHook preBuild
         npm run build

cmd/scip/version.txt

@@ -1 +1 @@
-0.9.0
+0.10.0

docs/CLI.md

@@ -18,7 +18,7 @@ USAGE:
    scip [global options] [command [command options]]
 
 VERSION:
-   v0.9.0
+   v0.10.0
 
 DESCRIPTION:
    For more details, see the project README at:
@@ -122,7 +122,7 @@ DESCRIPTION:
    matches that specified in human-readable test files, using syntax
    similar to the 'snapshot' subcommand. Test file syntax reference:
 
-       https://github.com/scip-code/scip/blob/v0.9.0
+       https://github.com/scip-code/scip/blob/v0.10.0
    /docs/test_file_format.md
 
    The test files are located based on the relative_path field

docs/Development.md

@@ -80,21 +80,18 @@ go test ./cmd/scip -update-snapshots
 
 ## Release a new version
 
-Update the version in `cmd/scip/version.txt`, `bindings/rust/Cargo.toml`,
-`bindings/rust/Cargo.lock`, `bindings/java/pom.xml`, `bindings/kotlin/pom.xml`,
-`bindings/dotnet/Scip.csproj`, and `docs/CLI.md`, then land a commit with those
-changes. The [jvm-bindings workflow](/.github/workflows/jvm-bindings.yaml)
-fails the PR if the two `pom.xml` versions don't match `cmd/scip/version.txt`,
-and the [dotnet-bindings workflow](/.github/workflows/dotnet-bindings.yaml)
-does the same for `Scip.csproj`.
-
-After the commit is on `main`, trigger the
-[release workflow](/.github/workflows/release.yaml) from the
-Actions tab on GitHub, providing the version number (e.g. `0.7.0`).
-The workflow will validate version.txt, create and push tags, create a draft
-GitHub release (with auto-generated notes), publish the Rust crate, publish the
-Java/Kotlin bindings to Maven Central, publish the .NET bindings to NuGet,
-build and upload CLI binaries, and finally mark the release as non-draft.
+Update the version in `cmd/scip/version.txt` and all package manifests and
+lockfiles under `bindings/`, as well as `reprolang/package.json` and
+`docs/CLI.md`, then land a commit with those changes. CI validates that the
+package versions match `cmd/scip/version.txt`.
+
+When the commit reaches `main`, the change to `cmd/scip/version.txt`
+automatically triggers the [release workflow](/.github/workflows/release.yaml).
+The workflow validates the version, creates and pushes tags, creates a draft
+GitHub release (with auto-generated notes), publishes all language bindings,
+builds and uploads CLI binaries, and finally marks the release as non-draft.
+Manual dispatch re-runs the version currently on `main`; it does not accept a
+version input.
 
 ### JVM bindings publishing
 

reprolang/package.json

@@ -1,4 +1,4 @@
 {
   "name": "reprolang",
-  "version": "0.9.0"
+  "version": "0.10.0"
 }