David Leal 409cca2699 Switch from Travis CI to GitHub Actions (#20)		2020-07-18 19:43:43 +02:00
..
workflows	Switch from Travis CI to GitHub Actions (#20)	2020-07-18 19:43:43 +02:00
CONTRIBUTING.md	Switch from Travis CI to GitHub Actions (#20)	2020-07-18 19:43:43 +02:00