Use GitHub actions for continuous integration (CI)#53
Merged
clue merged 1 commit intographp:masterfrom Jan 28, 2021
SimonFrings:ci
Merged
Use GitHub actions for continuous integration (CI)#53clue merged 1 commit intographp:masterfrom SimonFrings:ci
clue merged 1 commit intographp:masterfrom
SimonFrings:ci
