erg 0.6.53

The Erg programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

name: Notify

on:
  push:
    branches: [main, notify-*]
    paths-ignore:
      - "doc/**"
      - ".github/**"
      - ".assets/**"
      - ".cargo/**"
      - "**.md"
      - "**.yml"
      - "LICENSE-**"
      - ".gitmessage"
      - ".pre-commit-config.yaml"

env:
  CARGO_TERM_COLOR: always

jobs:
  notify-change:
    runs-on: ubuntu-latest
    steps:
      - name: notify to ergscripts
        run: |
          curl \
            -X POST \
            -H "Authorization: token ${{ secrets.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", "branch": "${{ github.ref_name }}"}}'
      - name: notify to pytypes
        run: |
          curl \
            -X POST \
            -H "Authorization: token ${{ secrets.TOKEN }}" \
            -H "Accept: application/vnd.github.v3+json" \
            https://api.github.com/repos/erg-lang/pytypes/dispatches \
            -d '{"event_type":"notification-push-main","client_payload":{"msg": "A change has been pushed", "branch": "${{ github.ref_name }}"}}'