tree 926a01e126a10d26a2a15eb9d7674fa70b83ccfe
parent facfe020dbdeb12191ec0338cc143facb3c711e3
author Thomas Klausner <tk@giga.or.at> 1608977705 +0100
committer Thomas Klausner <tk@giga.or.at> 1608977705 +0100

Remove github actions for now.

Avoid burning cpu time.
travis works fine as-is and has slightly more features in our setup.