protothreads.c

Git mirror of http://dunkels.com/adam/pt/index.html
git clone git://git.finwo.net/lib/protothreads.c
Log | Files | Refs

update-release.yml (3519B)

      1 on:
      2   push:
      3     branches:
      4       - main
      5 
      6 jobs:
      7 
      8   release-v1_0:
      9     name: (Update) release v1.0
     10     runs-on: ubuntu-latest
     11     steps:
     12       - uses: actions/checkout@v3
     13       - run: git config --global init.defaultBranch main
     14       - run: git config --global user.name $(git log -1 --pretty=format:'%an')
     15       - run: git config --global user.email $(git log -1 --pretty=format:'%ae')
     16       - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}
     17       - run: scripts/build-tag.sh v1.0
     18 
     19   release-v1_1:
     20     name: (Update) release v1.1
     21     runs-on: ubuntu-latest
     22     steps:
     23       - uses: actions/checkout@v3
     24       - run: git config --global init.defaultBranch main
     25       - run: git config --global user.name $(git log -1 --pretty=format:'%an')
     26       - run: git config --global user.email $(git log -1 --pretty=format:'%ae')
     27       - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}
     28       - run: scripts/build-tag.sh v1.1
     29 
     30   release-v1_2:
     31     name: (Update) release v1.2
     32     runs-on: ubuntu-latest
     33     steps:
     34       - uses: actions/checkout@v3
     35       - run: git config --global init.defaultBranch main
     36       - run: git config --global user.name $(git log -1 --pretty=format:'%an')
     37       - run: git config --global user.email $(git log -1 --pretty=format:'%ae')
     38       - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}
     39       - run: scripts/build-tag.sh v1.2
     40 
     41   release-v1_2_1:
     42     name: (Update) release v1.2.1
     43     runs-on: ubuntu-latest
     44     steps:
     45       - uses: actions/checkout@v3
     46       - run: git config --global init.defaultBranch main
     47       - run: git config --global user.name $(git log -1 --pretty=format:'%an')
     48       - run: git config --global user.email $(git log -1 --pretty=format:'%ae')
     49       - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}
     50       - run: scripts/build-tag.sh v1.2.1
     51 
     52   release-v1_3:
     53     name: (Update) release v1.3
     54     runs-on: ubuntu-latest
     55     steps:
     56       - uses: actions/checkout@v3
     57       - run: git config --global init.defaultBranch main
     58       - run: git config --global user.name $(git log -1 --pretty=format:'%an')
     59       - run: git config --global user.email $(git log -1 --pretty=format:'%ae')
     60       - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}
     61       - run: scripts/build-tag.sh v1.3
     62 
     63   release-v1_4:
     64     name: (Update) release v1.4
     65     runs-on: ubuntu-latest
     66     steps:
     67       - uses: actions/checkout@v3
     68       - run: git config --global init.defaultBranch main
     69       - run: git config --global user.name $(git log -1 --pretty=format:'%an')
     70       - run: git config --global user.email $(git log -1 --pretty=format:'%ae')
     71       - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}
     72       - run: scripts/build-tag.sh v1.4
     73 
     74   release-cgraham:
     75     name: (Update) release cgraham
     76     runs-on: ubuntu-latest
     77     steps:
     78       - uses: actions/checkout@v3
     79       - run: git config --global init.defaultBranch main
     80       - run: git config --global user.name $(git log -1 --pretty=format:'%an')
     81       - run: git config --global user.email $(git log -1 --pretty=format:'%ae')
     82       - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}
     83       - run: scripts/build-tag.sh cgraham