pr-size

fix: fix nav bar typo with `Glossary` #82

Sign in to view logs

Re-run triggered May 14, 2024 18:40

chenrui333

#4550

matthewbarr:docs-spelling-fix-glossary

Status Success

Total duration 14s

Artifacts –

pr-size-labeler.yml

on: pull_request

Label the PR size