Skip to content

Use GitHub actions for continuous integration (CI)#97

Merged
clue merged 3 commits intoclue:masterfrom
SimonFrings:ci
Jun 11, 2021
Merged

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

Commits

Commits on Jun 11, 2021