Commit Graph

2 Commits

Author SHA1 Message Date
3ef031b2fe Update the CI to work on push and PRs 2020-11-03 18:25:12 +01:00
9047dc8163 Add a Github actions workflows 2020-11-01 14:47:44 +01:00