Fix diagnostics; set up CI which includes make run and cargo clippy#5
Draft
zjp-CN wants to merge 282 commits into
Draft
Fix diagnostics; set up CI which includes make run and cargo clippy#5zjp-CN wants to merge 282 commits into
zjp-CN wants to merge 282 commits into