ci: add github CI to replace travis CI#1051

Merged

jschneier merged 4 commits intojschneier:masterfrom mariajgrimaldi:MJG/github_ci

Sep 7, 2021

+102-64

Commits on Sep 6, 2021

test: add github CI to replace travis CI
mariajgrimaldi
committed

Commits on Sep 7, 2021