github: fix job name in publish-jedi workflow

Fixes: https://github.com/pybricks/pybricks-api/issues/124
2026-07-27 19:57:02 +00:00 · 2022-12-09 15:13:41 -06:00
parent ef7fa7bcfc
commit 0655d807e4
1 changed files with 1 additions and 1 deletions
@@ -6,7 +6,7 @@ on:
    - '@pybricks/jedi/**'

 jobs:
-  publish_ide_docs:
+  publish_jedi:
    runs-on: ubuntu-22.04
    steps:
    - uses: actions/checkout@v2