.github, hack, docs: workflows carry readable names and run titles; the site is not built for a pull request #22

Merged
mikluko merged 5 commits from mikluko/workflow-names into main 2026-10-04 15:13:25 +00:00
No description provided.