From 45f0022d2f4c3f4f4153c8d2dc0e2006ad9e5218 Mon Sep 17 00:00:00 2001
From: Sunrisepeak <speakshen@163.com>
Date: Sat, 31 Oct 2026 00:27:05 +0900
Subject: [PATCH] release binaries: the platform is named by the dispatch
 beside the tag, 0.19.0 by default (0.1.5's tools pin openkal-linux 0.19.0)

Co-authored-by: speak-agent <248744407+speak-agent@users.noreply.github.com>
---
 .github/workflows/release-binaries.yml | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/release-binaries.yml b/.github/workflows/release-binaries.yml
index 3aed00a..7140201 100644
--- a/.github/workflows/release-binaries.yml
+++ b/.github/workflows/release-binaries.yml
@@ -13,6 +13,10 @@ on:
       tag:
         description: "The release tag the binaries are built from and attached to (e.g. 0.1.3)"
         required: true
+      platform:
+        description: "The openkal-platform whose hosted arrangement builds the tools: the one whose version group holds the implementations the tag pins (0.1.5: 0.19.0)"
+        required: true
+        default: "0.19.0"
       mcpp_ref:
         description: "Branch of mcpp-community/mcpp to build with (empty = the released mcpp)"
         required: false
@@ -24,9 +28,11 @@ permissions:
 env:
   MCPP_SOURCE_REF: ${{ github.event.inputs.mcpp_ref || vars.MCPP_SOURCE_REF || '' }}
   MCPP_VERSION: 2026.10.30.1
-  # The platform whose hosted arrangement the programs are built over: 0.18.0's
-  # version group holds openkal-linux 0.18.3, which this round's tools pin.
-  PLATFORM_VERSION: 0.18.0
+  # The platform whose hosted arrangement the programs are built over, named by
+  # the dispatch beside the tag: a tag's tools pin exact implementations, and the
+  # platform is the one whose version group holds them (0.1.4: 0.18.0; 0.1.5:
+  # 0.19.0, openkal-linux 0.19.0).
+  PLATFORM_VERSION: ${{ github.event.inputs.platform }}
   XLINGS_VERSION: v2026.10.26.1
   XLINGS_NON_INTERACTIVE: '1'