| # This configures the .github/workflows/pull_request_label.yml workflow. | |
| 'type-infra': | |
| - changed-files: | |
| - any-glob-to-any-file: '.github/**' | |
| 'package:dwds': | |
| - changed-files: | |
| - any-glob-to-any-file: 'dwds/**/*' | |
| 'package:frontend_server_client': | |
| - changed-files: | |
| - any-glob-to-any-file: 'frontend_server_client/**/*' | |
| 'package:webdev': | |
| - changed-files: | |
| - any-glob-to-any-file: 'webdev/**/*' | |
| 'dart-debug-extension': | |
| - changed-files: | |
| - any-glob-to-any-file: 'dwds/debug_extension/**/*' |