Skip to content

Commit

Permalink
Update user id
Browse files Browse the repository at this point in the history
  • Loading branch information
jcortejoso authored Oct 13, 2023
1 parent 33a570e commit aae1a3c
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions .github/workflows/social-connect.yml
Original file line number Diff line number Diff line change
Expand Up @@ -156,20 +156,24 @@ jobs:
- run: yarn run prettify:diff
- run: yarn run lint
- name: Dump GitHub context
# Use to debug github event and check user ids
if: false
env:
GITHUB_CONTEXT: ${{ toJson(github) }}
run: |
echo "$GITHUB_CONTEXT"
- name: Find ChangeSet in PR
uses: peter-evans/find-comment@v2
id: fc
if: github.event_name == 'pull_request' && github.event.pull_request.user.login != 'github-action'
# Skip if author is github-bot from celo-org (id is celo-org github id)
if: github.event_name == 'pull_request' && github.event.pull_request.user.login != '37552875'
with:
issue-number: ${{ github.event.pull_request.number }}
body-includes: Changeset detected
comment-author: changeset-bot[bot]
- name: Fail if Changeset commit not found
if: github.event_name == 'pull_request' && github.event.pull_request.user.login != 'github-action'
# Skip if author is github-bot from celo-org (id is celo-org github id)
if: github.event_name == 'pull_request' && github.event.pull_request.user.login != '37552875'
run: |
if ${{ steps.fc.outputs.comment-id == 0 }}; then
echo "No Changeset Found" && exit 1
Expand Down

0 comments on commit aae1a3c

Please sign in to comment.