Skip to content

Commit

Permalink
Merge branch 'maint'
Browse files Browse the repository at this point in the history
  • Loading branch information
garazdawi committed Nov 10, 2023
2 parents bd55bb1 + 18ddbad commit e69c9fa
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions .github/workflows/pr-comment.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,8 @@ jobs:
pr-number:
runs-on: ubuntu-20.04
if: github.repository == 'erlang/otp'
permissions:
issues: read
outputs:
result: ${{ steps.pr-number.outputs.result }}
steps:
Expand All @@ -33,6 +35,8 @@ jobs:
starting-tests:
runs-on: ubuntu-latest
needs: pr-number
permissions:
issues: write
if: github.event.action == 'requested' && needs.pr-number.outputs.result != ''
steps:
- uses: actions/[email protected]
Expand All @@ -49,6 +53,8 @@ jobs:
needs: pr-number
## Limit concurrency so that only one job deploys to erlang.github.io
concurrency: erlang.github.io-deploy
permissions:
issues: write
if: >-
github.event.action == 'completed' &&
needs.pr-number.outputs.result != '' &&
Expand Down

0 comments on commit e69c9fa

Please sign in to comment.