Austin Horstman 5ff6b0ad0f .github/workflows: tweak job names ...

They didn't seem to correspond to the workflow, properly. Making
triggering them locally weird.

2025-04-04 00:04:51 -05:00

618 B

Raw Blame History

View Raw