Skip to content

Use GitHub actions for continuous integration (CI)#30

Merged
clue merged 1 commit intoclue:masterfrom
SimonFrings:actions
Dec 21, 2020
Merged

Use GitHub actions for continuous integration (CI)#30
clue merged 1 commit intoclue:masterfrom
SimonFrings:actions

Commits

Commits on Dec 21, 2020