Skip to content

Use GitHub actions for continuous integration (CI)#16

Merged
clue merged 1 commit intoclue:masterfrom
SimonFrings:ci
Jul 8, 2021
Merged

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

Commits

Commits on Jul 8, 2021