Closed rainersigwald closed 3 years ago
This was part of the old CI/PR build workflow and it's worth preserving. Also deleted that old workflow.
This was part of the old CI/PR build workflow and it's worth preserving. Also deleted that old workflow.