Merge pull request '........' (#213) from develop/tags-1 into master
convert-to-xml / deploy (push) Failing after 19s Details

Reviewed-on: #213
This commit is contained in:
giles 2023-10-23 21:56:32 +00:00
commit 5e8cfd9e3e
1 changed files with 2 additions and 4 deletions

View File

@ -24,10 +24,8 @@ jobs:
- name: get tag - name: get tag
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 | 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 }}