Skip to content

Use GitHub actions for continuous integration (CI)#24

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

Commits

Commits on Mar 1, 2021