Closed
Description
I accidentally merged a PR with a typo in release.yaml. This should have been caught.
We should add a step to CI which lints our GitHub Workflow files.
{{ message }}
No one assigned
No type
No projects
None yet
No branches or pull requests