mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
Update rust.yml
This commit is contained in:
parent
68850e8d8b
commit
4e2aa5c054
1 changed files with 14 additions and 0 deletions
14
.github/workflows/rust.yml
vendored
14
.github/workflows/rust.yml
vendored
|
|
@ -74,3 +74,17 @@ jobs:
|
|||
with:
|
||||
command: clippy
|
||||
args: --all --all-targets --verbose -- -D warnings
|
||||
|
||||
notify-change:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: notify to ergscripts
|
||||
run: |
|
||||
TOKEN=${{ secrets.DEV_TOKEN }}
|
||||
|
||||
curl \
|
||||
-X POST \
|
||||
-H "Authorization: token $TOKEN" \
|
||||
-H "Accept: application/vnd.github.v3+json" \
|
||||
https://api.github.com/repos/mtshiba/ergscripts/dispatches \
|
||||
-d '{"event_type":"notification-push-main","client_payload":{"msg": "a change has been pushed to main"}}'
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue