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

....
build-develop-branch / build-branch (push) Has been cancelled Details

This commit is contained in:
gilesb 2023-10-23 22:19:18 +01:00
parent 3eea22ad50
commit 78a828bf5a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitea/workflows/develop -> build.yml
View File

@ -72,7 +72,7 @@ jobs:
- name: make PR - name: make PR
run: | run: |
../tea pr ls -f=base,head -o=csv ../tea pr ls -f=base,head -o=csv
if [[ $(./tea pr ls -f=base,head -o=csv | grep "\"master\",\"${{ github.ref_name }}\"" | head -c1 | wc -c) -eq 0 ]]; then if [[ $(../tea pr ls -f=base,head -o=csv | grep "\"master\",\"${{ github.ref_name }}\"" | head -c1 | wc -c) -eq 0 ]]; then
../tea pr c --base=master --head=${{ github.ref_name }} --description=" ../tea pr c --base=master --head=${{ github.ref_name }} --description="
development pull request development pull request
this PR is will been built on [${{ github.ref_name }}](${{ github.serverUrl }}/${{ github.repository }}/src/branch/${{ env.BUILD_BRANCH }}) this PR is will been built on [${{ github.ref_name }}](${{ github.serverUrl }}/${{ github.repository }}/src/branch/${{ env.BUILD_BRANCH }})