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

Re-record all demos with latest changes

a31d089
Select commit
Loading
Failed to load commit list.