tree ca1dfbec2673fbb616ac9bc3bff6c8dc7fe29baf
parent 1c62af871277380d8ea2b2dc2d7a1b9d4baae3aa
author Thomas Klausner <tk@giga.or.at> 1606899599 +0100
committer Thomas Klausner <tk@giga.or.at> 1606899599 +0100

Add github workflow for continuous integration, untested.