Skip to content

docs: final-verify cleanup (synthesis pointers, source discipline, anchor fixes)#34

Merged
mghabin merged 2 commits into
mainfrom
docs/final-verify-cleanup
Apr 30, 2026
Merged

docs: final-verify cleanup (synthesis pointers, source discipline, anchor fixes)#34
mghabin merged 2 commits into
mainfrom
docs/final-verify-cleanup

docs: restore double-hyphen anchors that GitHub renders from punctuation

8755209
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar