mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-07 20:39:04 +03:00
40 lines
1.1 KiB
YAML
40 lines
1.1 KiB
YAML
on:
|
|
release:
|
|
types: [published]
|
|
|
|
jobs:
|
|
discord_release:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Discord Webhook Action
|
|
uses: tsickert/discord-webhook@v5.3.0
|
|
if: ${{ ! github.event.release.prerelease }}
|
|
with:
|
|
webhook-url: ${{ secrets.DISCORD_WEBHOOK_URL }}
|
|
content: |
|
|
📣 Zed ${{ github.event.release.tag_name }} was just released!
|
|
|
|
Restart your Zed or head to https://zed.dev/releases/latest to grab it.
|
|
|
|
```md
|
|
# Changelog
|
|
|
|
${{ github.event.release.body }}
|
|
```
|
|
mixpanel_release:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
- uses: actions/setup-python@v4
|
|
with:
|
|
python-version: "3.10.5"
|
|
architecture: "x64"
|
|
cache: "pip"
|
|
- run: pip install -r script/mixpanel_release/requirements.txt
|
|
- run: >
|
|
python script/mixpanel_release/main.py
|
|
${{ github.event.release.tag_name }}
|
|
${{ secrets.MIXPANEL_PROJECT_ID }}
|
|
${{ secrets.MIXPANEL_SERVICE_ACCOUNT_USERNAME }}
|
|
${{ secrets.MIXPANEL_SERVICE_ACCOUNT_SECRET }}
|