Bugfix/1026 Android back gesture should follow navigation history #1788
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: Dev tools workflow | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| paths-ignore: | |
| - '.gitignore' | |
| - '.metadata' | |
| - '.github/**' | |
| - '.githooks/**' | |
| - '*.md' | |
| - 'android/fastlane/**' | |
| - 'ios/fastlane/**' | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| jobs: | |
| ############################################################## | |
| # Setup | |
| ############################################################## | |
| delete_bot_comments: | |
| name: Delete the bot comments on the PR. | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: izhangzhihao/delete-comment@master | |
| if: ${{ github.event_name == 'pull_request' }} | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| delete_user_name: github-actions[bot] | |
| issue_number: ${{ github.event.number }} | |
| determine_pr_size: | |
| name: Determine the size of the PR | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: codelytv/pr-size-labeler@v1 | |
| with: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| xs_label: 'size: XS' | |
| xs_max_size: '30' | |
| s_label: 'size: S' | |
| s_max_size: '100' | |
| m_label: 'size: M' | |
| m_max_size: '500' | |
| l_label: 'size: L' | |
| l_max_size: '1000' | |
| xl_label: 'size: XL' | |
| fail_if_xl: 'false' | |
| message_if_xl: > | |
| 'This PR exceeds the recommended size of 1000 lines. | |
| Please make sure you are NOT addressing multiple issues with one PR. | |
| Note this PR might be rejected due to its size.’ |