Skip to content

Migrate CI to Github Actions#1159

Merged
tobias-urdin merged 10 commits intognocchixyz:masterfrom tobias-urdin:feature/fix-migrate-and-update-ciJul 7, 2021

Commits

Commits on Jul 4, 2021