mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
Update release.yml
This commit is contained in:
parent
250032beab
commit
47ea02c832
1 changed files with 14 additions and 0 deletions
14
.github/workflows/release.yml
vendored
14
.github/workflows/release.yml
vendored
|
|
@ -52,3 +52,17 @@ jobs:
|
|||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
# static linking to libc
|
||||
RUSTFLAGS: ${{ (matrix.target == 'x86_64-unknown-linux-gnu' && '-C target-feature=+crt-static') || '' }}
|
||||
|
||||
notify-release:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: run curl
|
||||
run: |
|
||||
TOKEN=${{ secrets.DEV_TOKEN }}
|
||||
|
||||
curl \
|
||||
-X POST \
|
||||
-H "Authorization: token $TOKEN" \
|
||||
-H "Accept: application/vnd.github.v3+json" \
|
||||
https://api.github.com/repos/erg-lang/web-ide/dispatches \
|
||||
-d '{"event_type":"release-notification","client_payload":{"msg": "A new Erg version has been released"}}'
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue