Skip to content

[multi] Remove @tool from docs that does not work#9394

Merged
auto-submit[bot] merged 3 commits into
flutter:mainfrom
Piinks:fixDocs
Jun 6, 2025
Merged

[multi] Remove @tool from docs that does not work#9394
auto-submit[bot] merged 3 commits into
flutter:mainfrom
Piinks:fixDocs

Bump versions

c3db171
Select commit
Loading
Failed to load commit list.
flutter-dashboard / Merge Queue Guard succeeded Jun 6, 2025 in 26s

Merge Queue Guard

The merge queue guard is a GitHub check that prevents a PR from being merged or enqueued before it is ready. It becomes green automatically when all tests pass. No manual action is required. If you suspect that this check is not working correctly, contact #hackers-infra on Discord. If you need to merge your PR without tests (a rare situation, typically an emergency), then you can use the emergency label.