Skip to content

Use GitHub actions for continuous integration (CI)#27

Merged
clue merged 1 commit intoclue:masterfrom SimonFrings:actionsDec 7, 2020

Commits

Commits on Dec 7, 2020