Skip to content

Update demos: forge improvements, nix-shell, re-record all#119

Merged
actionshrimp merged 5 commits into
mainfrom
dave/demo-update
Feb 25, 2026
Merged

Update demos: forge improvements, nix-shell, re-record all#119
actionshrimp merged 5 commits into
mainfrom
dave/demo-update

Commits

Commits on Feb 25, 2026