WASM: rename randomized_public_key to randomized_public_key_pair
#9766
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: Pull Requests should target Staging branch | |
| on: | |
| pull_request: | |
| types: ['*'] | |
| branches: | |
| - '**' | |
| jobs: | |
| check: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - if: ${{ contains(github.event.pull_request.base.ref, 'master') && !contains(github.event.pull_request.title, 'master') }} | |
| run: | | |
| echo 'Pull request has "master" base branch without the override keyword "master" in the PR Title' | |
| echo 'This pull request probably meant to target "staging"' | |
| exit 1 |