Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "ci: slightly simplify workflow definition"
This reverts commit 66d279f. While the change worked, it lead to workflows showing a different and uglier name on the GitHub web UI, which was not worth it when compared to the DRY benefits.
- Loading branch information