Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change: Use common name for release workflow
pontos is used internally but it isn't visible from the outside anymore. It's just a workflow for creating releases.
- Loading branch information