• migrate ci to github actions

    fcjr committed Feb 10, 2021