vondraussen 8c5a7d08e5 add github actions CI #84
remove travis ci, since Travis-CI is not a good place for opensource
projects anymore.
2022-01-08 09:22:04 -05:00
..
2022-01-08 09:22:04 -05:00