Skip to content

Promote the Details and Summary Opener Primitive in pr_review.py to Main - #3210

Merged
ptr727 merged 1 commit into
mainfrom
develop
Oct 19, 2026
Merged

Promote the Details and Summary Opener Primitive in pr_review.py to Main#3210
ptr727 merged 1 commit into
mainfrom
develop

Recognize a Details or Summary Opener Through One Primitive in pr_rev…

9a23b7d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar