Skip to content

Migrate to Github Actions for tests#1033

Merged
TimoRoth merged 2 commits intoOGGM:masterfrom TimoRoth:masterJun 10, 2020

Commits

Commits on Jun 9, 2020

Commits on Jun 10, 2020