Thanks for everyone worked on the CI system

[Yuxuan Wang]

I'm not used to see all CI checks are green in a pull request :) Good job,
everyone!