3
This commit is contained in:
1 parent
0dce320db2
commit
c1906a3f20
1 file changed
+1
-1
@@ -27,7 +27,7 @@ jobs:
|
|||||||
- name: Extract PR information
|
- name: Extract PR information
|
||||||
id: extract_pr
|
id: extract_pr
|
||||||
run: |
|
run: |
|
||||||
echo "PR_NUMBER=${{ github.event.pull_request.number }}" >> $GITHUB_ENV
|
echo "PR_NUMBER=$${{ github.event.pull_request.number || github.run_number }}" >> $GITHUB_ENV
|
||||||
echo "REGISTRY_LOWER=$(echo '${{ env.REGISTRY }}' | tr '[:upper:]' '[:lower:]')" >> $GITHUB_ENV
|
echo "REGISTRY_LOWER=$(echo '${{ env.REGISTRY }}' | tr '[:upper:]' '[:lower:]')" >> $GITHUB_ENV
|
||||||
echo "REPOSITORY_LOWER=$(echo '${{ github.repository }}' | tr '[:upper:]' '[:lower:]')" >> $GITHUB_ENV
|
echo "REPOSITORY_LOWER=$(echo '${{ github.repository }}' | tr '[:upper:]' '[:lower:]')" >> $GITHUB_ENV
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user