2 Commits

Author	SHA1	Message	Date
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