5 Commits

Author	SHA1	Message	Date
Jacky Zhao	27d6821a23	oops actually use npm run check	2023-07-22 17:42:13 -07:00
Jacky Zhao	46369109ad	run prettier on ci	2023-07-22 17:39:10 -07:00
Jacky Zhao	adec32227f	run prettier	2023-07-22 17:27:41 -07:00
Jacky Zhao	c01e0ec55c	rename github action	2023-07-19 22:00:44 -07:00
Jacky Zhao	c37579e4c5	fix ci, disable strict path type checks by default	2023-07-15 23:05:17 -07:00