Skip to content

Use GitHub actions for continuous integration (CI)#53

Merged
clue merged 3 commits intoclue:masterfrom
SimonFrings:actions
Dec 12, 2020
Merged

Use GitHub actions for continuous integration (CI)#53
clue merged 3 commits intoclue:masterfrom
SimonFrings:actions

Commits

Commits on Dec 11, 2020