[PATCH 0/6] Add github CI