Skip to content

Replace Makefile with spec-prod and fix bikeshed link errors#35

Merged
yoavweiss merged 2 commits into
mainfrom
fix-build-and-links
Mar 13, 2026
Merged

Replace Makefile with spec-prod and fix bikeshed link errors#35
yoavweiss merged 2 commits into
mainfrom
fix-build-and-links

Commits

Commits on Mar 13, 2026