Refactor GitHub Workflows
Closed Apr 24, 2024
100% complete
Our workflows have much room for improvement. A refactor should help to have a better DRY approach, and to make most workflows more readable.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.