Commit Graph
2 Commits
Author SHA1 Message Date
David-Wobrock 06c197f546 Do lint in another job than the build 2020-11-26 18:43:34 +01:00
David-Wobrock 321b41ddd0 Start using GitHub Actions and remove Travis 2020-11-26 18:43:34 +01:00