Skip to content

Expand demo proof story and clarify testing captions - #754

Merged
Koukyosyumei merged 1 commit into
mainfrom
demo/proof-story-captions
Oct 22, 2026
Merged

Expand demo proof story and clarify testing captions#754
Koukyosyumei merged 1 commit into
mainfrom
demo/proof-story-captions

Expand demo proof story and clarify testing captions

038ef82
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar