Skip to content

Rename and better document allowsTreeSupersetOf #72768

Rename and better document allowsTreeSupersetOf

Rename and better document allowsTreeSupersetOf #72768

Triggered via pull request November 19, 2025 01:16
Status Success
Total duration 16s
Artifacts

pr-labeler.yml

on: pull_request_target
Label areas
5s
Label areas
Label changeset-required
5s
Label changeset-required
Label base branches and external contributors
10s
Label base branches and external contributors
Fit to window
Zoom out
Zoom in