fix(gh: www): try another way of getting pr number
This commit is contained in:
parent
759e83fb7f
commit
1c3228a2f5
|
@ -108,14 +108,6 @@ jobs:
|
||||||
- name: Create Build Environment
|
- name: Create Build Environment
|
||||||
run: cmake -E make_directory -B "${{ github.workspace }}/build"
|
run: cmake -E make_directory -B "${{ github.workspace }}/build"
|
||||||
|
|
||||||
- name: Get Pull Request Number
|
|
||||||
id: pr
|
|
||||||
run: |
|
|
||||||
cd "${{ github.workspace }}"
|
|
||||||
echo "::set-output name=pull_request_number::$(gh pr view --json number -q .number || echo "")"
|
|
||||||
env:
|
|
||||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
||||||
|
|
||||||
- name: Get AwesomeWM
|
- name: Get AwesomeWM
|
||||||
env:
|
env:
|
||||||
APIDOC_TOKEN: ${{ secrets.AWESOME_ROBOT_TOKEN || github.token }}
|
APIDOC_TOKEN: ${{ secrets.AWESOME_ROBOT_TOKEN || github.token }}
|
||||||
|
@ -127,7 +119,7 @@ jobs:
|
||||||
if [ "${{ github.event_name }}" != 'pull_request' ]; then
|
if [ "${{ github.event_name }}" != 'pull_request' ]; then
|
||||||
branch="${{ github.head_ref || github.ref_name }} "
|
branch="${{ github.head_ref || github.ref_name }} "
|
||||||
else
|
else
|
||||||
branch="pr-${{ steps.pr.outputs.pull_request_number }}"
|
branch="pr-${{ github.event.issue.number }}"
|
||||||
fi
|
fi
|
||||||
if [ "$branch" != master ]; then
|
if [ "$branch" != master ]; then
|
||||||
cd "${{ github.workspace }}/src"
|
cd "${{ github.workspace }}/src"
|
||||||
|
|
Loading…
Reference in New Issue