Announce PR merge to Discord

edge: bump to stable and rewrite patches #1502

Sign in to view logs

Summary
Jobs
- announcepush
Run details
- Usage
- Workflow file

Triggered via push December 1, 2025 21:01

main

Status Success

Total duration 13s

Artifacts –

merge-announce.yml

on: push