2022-10-06 01:22:53 +00:00
|
|
|
on:
|
|
|
|
|
release:
|
|
|
|
|
types: [published]
|
2022-10-11 22:25:36 +00:00
|
|
|
|
2022-10-06 01:22:53 +00:00
|
|
|
jobs:
|
2022-10-11 22:25:36 +00:00
|
|
|
discord_release:
|
2022-10-06 01:22:53 +00:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: Discord Webhook Action
|
|
|
|
|
uses: tsickert/discord-webhook@v5.3.0
|
2022-10-27 22:43:00 +00:00
|
|
|
if: ${{ ! github.event.release.prerelease }}
|
2022-10-06 01:22:53 +00:00
|
|
|
with:
|
|
|
|
|
webhook-url: ${{ secrets.DISCORD_WEBHOOK_URL }}
|
|
|
|
|
content: |
|
2022-10-11 22:31:17 +00:00
|
|
|
📣 Zed ${{ github.event.release.tag_name }} was just released!
|
2023-02-02 18:38:41 +00:00
|
|
|
|
2023-05-12 18:04:36 +00:00
|
|
|
Restart your Zed or head to https://zed.dev/releases/stable/latest to grab it.
|
2023-02-02 18:38:41 +00:00
|
|
|
|
2022-10-06 01:22:53 +00:00
|
|
|
${{ github.event.release.body }}
|
