summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2017-06-21Add CircleCI configuration for basic GitHub PR checksTobias Markmann