Skip to content

Moves CI to github#3

Merged
qfisch merged 4 commits intomainfrom TheCIMar 1, 2024