Better dark theme support, more efficient use of space for schedule view #1648
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: 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.’ |