Skip to content

Use GitHub actions for continuous integration (CI)#47

Merged
clue merged 1 commit intographp:masterfrom
SimonFrings:ci
Jan 27, 2021
Merged

Use GitHub actions for continuous integration (CI)#47
clue merged 1 commit intographp:masterfrom
SimonFrings:ci

Commits

Commits on Jan 26, 2021