Dockerize development environment#142

Closed

benjaoming wants to merge 1 commit intomainfrom

Commits on Aug 2, 2022

WIP: Run directly in Docker, take 1: install all dependencies runtime
benjaoming
committed