another-user
/
batch-example
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases 143 Wiki Activity

Merge pull request '....' (#207) from develop/tags-1 into master 

Reviewed-on: #207
This commit is contained in:
giles 2023-10-23 21:25:19 +00:00
parent edb34ddd0d a8458c87d9
commit 368390de2b
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.gitea/workflows/pr-closed.yml
View File

@ -25,8 +25,9 @@ jobs:
run: | run: |
../tea r ls -o=simple ../tea r ls -o=simple
version="$(../tea r ls -o=simple | head -n 1 | tr " " "\n" | head -n 1)" version="$(../tea r ls -o=simple | head -n 1 | tr " " "\n" | head -n 1)"
version=$version | awk -F. '{$NF = $NF + 1;} 1' | sed 's/ /./g' newversion=$version | awk -F. '{$NF = $NF + 1;} 1' | sed 's/ /./g'
../tea r c --note="this isrelease ${version}" --tag=${version} --title=${version} --target=${{ github.sha }} echo $newversion
../tea r c --note="this isrelease ${newversion}" --tag=${newversion} --title=${newversion} --target=${{ github.sha }}
- name: delete develop branch - name: delete develop branch
id: delete_develop_branch id: delete_develop_branch
run: git push origin --delete ${{ github.head_ref }} run: git push origin --delete ${{ github.head_ref }}