Skip to content

Use GitHub actions for continuous integration (CI)#22

Merged
clue merged 2 commits intoclue:masterfrom SimonFrings:actionsDec 9, 2020
+45-32

Commits

Commits on Dec 9, 2020