Skip to content

Rename: synthpanel → althing#587

Merged
the-data-viking merged 7 commits into
mainfrom
rename/althing
Jul 20, 2026
Merged

Rename: synthpanel → althing#587
the-data-viking merged 7 commits into
mainfrom
rename/althing

Merge origin/main into rename/althing (#588 map-reduce synthesis fix)

7ecde2f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar