Skip to content

Use GitHub actions for continuous integration (CI)#29

Merged
clue merged 1 commit intoclue:masterfrom SimonFrings:actionsDec 11, 2020
+47-29

Commits

Commits on Dec 11, 2020