2 Commits

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