fix: fix nav bar typo with Glossary
#84
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: pr-size | |
| on: [pull_request] | |
| jobs: | |
| labeler: | |
| runs-on: ubuntu-latest | |
| name: Label the PR size | |
| steps: | |
| - uses: codelytv/pr-size-labeler@54ef36785e9f4cb5ecf1949cfc9b00dbb621d761 # v1 | |
| with: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| xs_label: 'size/xs' | |
| xs_max_size: '10' | |
| s_label: 'size/s' | |
| s_max_size: '200' | |
| m_label: 'size/m' | |
| m_max_size: '1000' | |
| l_label: 'size/l' | |
| l_max_size: '10000' | |
| 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. | |
| github_api_url: 'https://api.github.com' | |
| files_to_ignore: '' |