Skip to content

Merge main, and address the second review - #73

Merged
oflatt merged 26 commits into
egraphs-good:oflatt-named-argsfrom
oflatt-claude:named-args-merge-main
Sep 22, 2026
Merged

oflatt merged 26 commits into
egraphs-good:oflatt-named-argsfrom
oflatt-claude:named-args-merge-main

Merge main into named-args

a7b4a3a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
test
succeeded Sep 22, 2026 in 48s