removed children from semantic.Scope as not used #290
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Notify Downstream | |
| # https://help.github.com/en/actions/reference/events-that-trigger-workflows#pull-request-event-pull_request | |
| # Use pull_request because it contains more interesting metadata than a | |
| # push event. | |
| on: | |
| pull_request: | |
| branches: | |
| - main | |
| types: closed | |
| jobs: | |
| build: | |
| runs-on: ubuntu-20.04 | |
| strategy: | |
| matrix: | |
| repo: [brimcap, zui] | |
| steps: | |
| - name: Populate "merged" variable | |
| run: | | |
| # GITHUB_EVENT_PATH | |
| # https://help.github.com/en/actions/configuring-and-managing-workflows/using-environment-variables | |
| # The path of the file with the complete webhook event payload. For example, /github/workflow/event.json | |
| # | |
| # Pull request event | |
| # https://developer.github.com/v3/activity/events/types/#pullrequestevent | |
| # Pull request | |
| # https://developer.github.com/v3/pulls/ | |
| merged=$(jq .pull_request.merged "${GITHUB_EVENT_PATH}") | |
| echo "merged=$merged" >> $GITHUB_OUTPUT | |
| id: vars | |
| # During the "Super" renaming we've temporarily disabled the triggering of | |
| # downstream Brimcap/Zui CI because we know they will break while things | |
| # are in flux. | |
| #- name: Post PR closed event, if the close was a merge | |
| # if: steps.vars.outputs.merged == 'true' && ! contains(github.event.pull_request.labels.*.name, 'skip-notify-downstream') | |
| # run: | | |
| # jq '.' "${GITHUB_EVENT_PATH}" | |
| # # Get what we want from the pull request event, craft a | |
| # # repository dispatch event, and send it. | |
| # # https://help.github.com/en/actions/reference/events-that-trigger-workflows#external-events-repository_dispatch | |
| # # https://developer.github.com/v3/repos/#create-a-repository-dispatch-event | |
| # jq '.pull_request | { "event_type": "zed-pr-merged", "client_payload": {body, "branch": .head.ref, merge_commit_sha, number, title, "url": .html_url, "user": .user.login}}' "${GITHUB_EVENT_PATH}" > payload.json | |
| # curl -XPOST -u "${{ secrets.PAT_USERNAME }}:${{ secrets.PAT_TOKEN }}" -H "Accept: application/vnd.github.v3+json" -H "Content-Type: application/json" https://api.github.com/repos/brimdata/${{ matrix.repo }}/dispatches --data @payload.json | |
| - name: Queue merged commits for an Autoperf run | |
| if: steps.vars.outputs.merged == 'true' && ! contains(github.event.pull_request.labels.*.name, 'skip-autoperf') | |
| run: | | |
| aws sqs send-message --queue-url ${{ secrets.AWS_SQS_QUEUE_URL_AUTOPERF }} --message-group-id autoperf --message-body ${{ github.event.pull_request.merge_commit_sha }} | |
| env: | |
| AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }} | |
| AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }} | |
| AWS_REGION: us-east-2 |