Commit 8dfece0cbbddefd2a65003243ea95519cf6b5cfc

Ran Benita 2020-04-18T20:52:17

ci: add github actions build We currently use Azure Pipelines. But it became out of date. Also it requires a different account and setup than github account itself. The configuration here is probably not very good and is less featureful than the Azure one but it's what I managed. Signed-off-by: Ran Benita <ran@unusedvar.com>