Skip to content

Use GitHub actions for continuous integration (CI)#28

Merged
clue merged 2 commits intoclue:masterfrom
SimonFrings:github
Jul 5, 2021
Merged

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

Commits

Commits on Jul 5, 2021