Closed antondollmaier closed 4 years ago
Thanks @antondollmaier !
Thanks for merging - although, to be honest, I've never worked with the github actions, so I'm uncertain if it will actually work.
Will of course fix if issues arise.