Migrate CI to github actions.
Migrate CI to github actions.