4 Commits

Author	SHA1	Message	Date
Fam Zheng	9ec5abbfc8	restore scripts/dev-setup	2025-04-25 22:10:25 +01:00
Fam Zheng	8fcad15744	drop scripts/dev-setup	2025-04-25 08:29:16 +01:00
Fam Zheng	c825852f77	dev-setup: Use user's venv	2025-03-01 17:38:34 +00:00
Fam Zheng	52cc9417bb	ci no derby	2025-03-01 16:42:23 +00:00