protothreads.c

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

commit 2080137d4d8cc9e7638a51e75655cc261e26ed09
parent 227339a69647eb45bbac27dd58eb1dda869ff033
Author: finwo <finwo@pm.me>
Date:   Sun, 19 Feb 2023 21:49:48 +0100

Add the other tags to be updated in the workflow

Diffstat:
A.github/workflows/update-release.yml | 83+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
D.github/workflows/update-v1.0.yml | 16----------------
2 files changed, 83 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/update-release.yml b/.github/workflows/update-release.yml @@ -0,0 +1,83 @@ +on: + push: + branches: + - main + +jobs: + + release-v1_0: + name: (Update) release v1.0 + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: git config --global init.defaultBranch main + - run: git config --global user.name $(git log -1 --pretty=format:'%an') + - run: git config --global user.email $(git log -1 --pretty=format:'%ae') + - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }} + - run: scripts/build-tag.sh v1.0 + + release-v1_1: + name: (Update) release v1.1 + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: git config --global init.defaultBranch main + - run: git config --global user.name $(git log -1 --pretty=format:'%an') + - run: git config --global user.email $(git log -1 --pretty=format:'%ae') + - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }} + - run: scripts/build-tag.sh v1.1 + + release-v1_2: + name: (Update) release v1.2 + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: git config --global init.defaultBranch main + - run: git config --global user.name $(git log -1 --pretty=format:'%an') + - run: git config --global user.email $(git log -1 --pretty=format:'%ae') + - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }} + - run: scripts/build-tag.sh v1.2 + + release-v1_2_1: + name: (Update) release v1.2.1 + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: git config --global init.defaultBranch main + - run: git config --global user.name $(git log -1 --pretty=format:'%an') + - run: git config --global user.email $(git log -1 --pretty=format:'%ae') + - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }} + - run: scripts/build-tag.sh v1.2.1 + + release-v1_3: + name: (Update) release v1.3 + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: git config --global init.defaultBranch main + - run: git config --global user.name $(git log -1 --pretty=format:'%an') + - run: git config --global user.email $(git log -1 --pretty=format:'%ae') + - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }} + - run: scripts/build-tag.sh v1.3 + + release-v1_4: + name: (Update) release v1.4 + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: git config --global init.defaultBranch main + - run: git config --global user.name $(git log -1 --pretty=format:'%an') + - run: git config --global user.email $(git log -1 --pretty=format:'%ae') + - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }} + - run: scripts/build-tag.sh v1.4 + + release-cgraham: + name: (Update) release cgraham + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: git config --global init.defaultBranch main + - run: git config --global user.name $(git log -1 --pretty=format:'%an') + - run: git config --global user.email $(git log -1 --pretty=format:'%ae') + - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }} + - run: scripts/build-tag.sh cgraham diff --git a/.github/workflows/update-v1.0.yml b/.github/workflows/update-v1.0.yml @@ -1,16 +0,0 @@ -on: - push: - branches: - - main - -jobs: - release-v1_0: - name: (Update) release v1.0 - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - run: git config --global init.defaultBranch main - - run: git config --global user.name $(git log -1 --pretty=format:'%an') - - run: git config --global user.email $(git log -1 --pretty=format:'%ae') - - run: git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }} - - run: scripts/build-tag.sh v1.0