4 Commits

Author	SHA1	Message	Date
Jacky Zhao	a796b593bc	run prettier on ci	2023-07-22 17:39:10 -07:00
Jacky Zhao	617ea80db1	run prettier	2023-07-22 17:27:41 -07:00
Jacky Zhao	c2048517cb	rename github action	2023-07-19 22:00:44 -07:00
Jacky Zhao	361c5c9ffb	fix ci, disable strict path type checks by default	2023-07-15 23:05:17 -07:00