It turns out that there is no test job in github workflows. We should add one for proper CI.
It turns out that there is no test job in github workflows. We should add one for proper CI.