Skip to content

Use GitHub actions for continuous integration (CI)#14

Merged
clue merged 2 commits intoclue:masterfrom
SimonFrings:ci
Apr 15, 2021
Merged

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

Commits

Commits on Apr 14, 2021