Skip to content

Hotfix/fix ios build #1973

Hotfix/fix ios build

Hotfix/fix ios build #1973

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