Closed slifty closed 1 year ago
This PR adds names to our workflows, which should help the GitHub UI be more meaningful.
Resolves #21
Bah, nevermind -- these names become redundant. Maybe just the github protect branch task selection UX is the thing that's busted. Gonna close this since there are more important things to worry about!
This PR adds names to our workflows, which should help the GitHub UI be more meaningful.
Resolves #21