ci: port ci to github actions, drop circleci (#77)

ci: port ci to github actions, drop circleci (#77) #8