Repository navigation

Pin the graph extra to microcosm main instead of #873's head - #541

Merged

MaxGhenis merged 1 commit into

repin-microcosm-main-20261015

Oct 15, 2026

Merged

Pin the graph extra to microcosm main instead of #873's head#541
MaxGhenis merged 1 commit into
masterfrom
repin-microcosm-main-20261015

Commits on Oct 15, 2026
- Pin the graph extra to microcosm main instead of #873's head
  
  MaxGhenis
  and
  claude
  committed
  f34888d