Skip to content

Use GitHub actions for continuous integration (CI) #54

Merged
clue merged 2 commits intoclue:masterfrom
SimonFrings:ci
Jul 1, 2021
Merged

Use GitHub actions for continuous integration (CI) #54
clue merged 2 commits intoclue:masterfrom
SimonFrings:ci

Commits

Commits on Jun 30, 2021