Skip to content

1055 dashboard display reminders for session events in dashboard #1938

1055 dashboard display reminders for session events in dashboard

1055 dashboard display reminders for session events in dashboard #1938

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