Skip to content

refactor(Syntax/Minimalist): extended projections from cited structures - #5860

Merged
github-actions[bot] merged 4 commits into
mainfrom
audit/fseq-1027f
Oct 27, 2026
Merged

refactor(Syntax/Minimalist): extended projections from cited structures#5860
github-actions[bot] merged 4 commits into
mainfrom
audit/fseq-1027f

chore(Syntax/Minimalist): run CI on the derived extension order

66781e0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar