Add GitHub Actions workflow and delete old CI configurations#959
Draft
tniessen wants to merge 3 commits into
Draft
Add GitHub Actions workflow and delete old CI configurations#959tniessen wants to merge 3 commits into
tniessen wants to merge 3 commits into
