4 Commits

Author	SHA1	Message	Date
Jacky Zhao	76fa9bbe00	run prettier on ci	2023-07-22 17:39:10 -07:00
Jacky Zhao	7db2eda76c	run prettier	2023-07-22 17:27:41 -07:00
Jacky Zhao	83d47f7aaa	rename github action	2023-07-19 22:00:44 -07:00
Jacky Zhao	a3e4c86a4c	fix ci, disable strict path type checks by default	2023-07-15 23:05:17 -07:00