Skip to content

Update to latest Flutter version #1791

Update to latest Flutter version

Update to latest Flutter version #1791

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.’