authorgravatar for julius0216@outlook.comJulius Marminge <julius0216@outlook.com> 2026-05-01 11:39:41-07:00
committergravatar for noreply@github.comGitHub <noreply@github.com> 2026-05-01 18:39:41+00:00
log7a3f21e7ca4f63c353284542d2dfbb568a3c803e
tree8a977c3b9aecc8b7bf53127262cc98639d88fac2
parent17b43960e86335534c63fb2b93ea68300b3bcc62
signature Signed by PGP key B5690EEEBB952194

[codex] fix Discord release version flag (#2449)

Co-authored-by: Julius Marminge <julius@macmini.local>

2 files changed, 6 insertions(+), 6 deletions(-)

.github/workflows/release.yml+2-2
......@@ -628,7 +628,7 @@ jobs:
628628 node scripts/notify-discord-release.ts prerelease \
629629 --role-id "$DISCORD_MENTION_ROLE_ID" \
630630 --release-name "${{ needs.preflight.outputs.release_name }}" \
631 --version "${{ needs.preflight.outputs.version }}" \
631 --release-version "${{ needs.preflight.outputs.version }}" \
632632 --tag "${{ needs.preflight.outputs.tag }}" \
633633 --release-url "https://github.com/${{ github.repository }}/releases/tag/${{ needs.preflight.outputs.tag }}"
634634
......@@ -642,6 +642,6 @@ jobs:
642642 node scripts/notify-discord-release.ts latest \
643643 --role-id "$DISCORD_MENTION_ROLE_ID" \
644644 --release-name "${{ needs.preflight.outputs.release_name }}" \
645 --version "${{ needs.preflight.outputs.version }}" \
645 --release-version "${{ needs.preflight.outputs.version }}" \
646646 --tag "${{ needs.preflight.outputs.tag }}" \
647647 --release-url "https://github.com/${{ github.repository }}/releases/tag/${{ needs.preflight.outputs.tag }}"
scripts/notify-discord-release.ts+4-4
......@@ -173,7 +173,7 @@ export const notifyDiscordReleaseCommand = Command.make(
173173 Flag.withSchema(Schema.NonEmptyString),
174174 Flag.withDescription("Human-readable release name."),
175175 ),
176 version: Flag.string("version").pipe(
176 releaseVersion: Flag.string("release-version").pipe(
177177 Flag.withSchema(Schema.NonEmptyString),
178178 Flag.withDescription("Release version."),
179179 ),
......@@ -186,7 +186,7 @@ export const notifyDiscordReleaseCommand = Command.make(
186186 Flag.withDescription("Public GitHub release URL."),
187187 ),
188188 },
189 ({ target, roleId, releaseName, version, tag, releaseUrl }) =>
189 ({ target, roleId, releaseName, releaseVersion, tag, releaseUrl }) =>
190190 Effect.gen(function* () {
191191 yield* Effect.logInfo("discord release announcement starting").pipe(
192192 Effect.annotateLogs({
......@@ -194,7 +194,7 @@ export const notifyDiscordReleaseCommand = Command.make(
194194 roleIdProvided: roleId.length > 0,
195195 roleIdLength: roleId.length,
196196 releaseName,
197 version,
197 version: releaseVersion,
198198 tag,
199199 releaseUrl,
200200 }),
......@@ -205,7 +205,7 @@ export const notifyDiscordReleaseCommand = Command.make(
205205 target,
206206 roleId,
207207 releaseName,
208 version,
208 version: releaseVersion,
209209 tag,
210210 releaseUrl,
211211 timestamp: new Date().toISOString(),