search

pybricks / pybricks-api

User API and documentation for Pybricks MicroPython
https://pypi.org/project/pybricks
MIT License
81 stars 23 forks source link

Fix workflow job name in publish-jedi #124

Closed laurensvalk closed 1 year ago

laurensvalk commented 1 year ago

This doesn't sound right (?) and adds to the challenging release process :smile:

https://github.com/pybricks/pybricks-api/blob/f7984a481623e257f93b90e921facb94e5d8c644/.github/workflows/publish-jedi.yml#L9

dlech commented 1 year ago

That looks like a copy/paste that didn't get renamed.