Skip to content

Announce published releases in Discord - #572

Merged
corepunch merged 1 commit into
mainfrom
fix/discord-release-announcements
Oct 3, 2026
Merged

corepunch merged 1 commit into
mainfrom
fix/discord-release-announcements

Conversation

@corepunch

Copy link
Copy Markdown
Owner

Published releases were never announced because Discord Notify only subscribed to PR events. Add release publication cards using the existing webhook, plus a manual tag input to announce missed published releases such as v0.0.10-alpha. Draft/unpublished releases are rejected, mentions stay disabled, and missing credentials or HTTP delivery failures fail the release job.

Keep the privileged notification workflow free of checkouts. A separate unprivileged CI job runs seven fixtures against the actual Bash/jq scripts, covering formatting, catch-up lookup, eligibility, delivery failures and existing PR cards. Update the notification guide with the new triggers and explicit duplicate-post behavior for manual reruns.

Validation: python3 tests/test_discord_notifications.py passed all seven tests; both workflow YAML files parse; documentation links and git diff --check pass. No game code or fixtures changed, so no local game build is required.

Protocol/save impact: none. Proposed split: keep this small workflow, fixture and documentation change together.

@corepunch
corepunch merged commit 7c417de into main Oct 3, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant