Skip to content

Use GitHub actions for continuous integration (CI)#111

Merged
clue merged 3 commits intoclue:masterfrom
SimonFrings:ci
May 23, 2021
Merged

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

Commits

Commits on May 17, 2021

Commits on May 21, 2021