Jedi Language Server not launching on v2024.14.0 #3614
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Community Feedback Auto Comment | |
| on: | |
| issues: | |
| types: | |
| - labeled | |
| jobs: | |
| add-comment: | |
| if: github.event.label.name == 'needs community feedback' | |
| runs-on: ubuntu-latest | |
| permissions: | |
| issues: write | |
| steps: | |
| - name: Check For Existing Comment | |
| uses: peter-evans/find-comment@v3 | |
| id: finder | |
| with: | |
| issue-number: ${{ github.event.issue.number }} | |
| comment-author: 'github-actions[bot]' | |
| body-includes: 'Thanks for the feature request! We are going to give the community' | |
| - name: Add Community Feedback Comment | |
| if: steps.finder.outputs.comment-id == '' | |
| uses: peter-evans/create-or-update-comment@v4 | |
| with: | |
| issue-number: ${{ github.event.issue.number }} | |
| body: | | |
| Thanks for the feature request! We are going to give the community 60 days from when this issue was created to provide 7 👍 upvotes on the opening comment to gauge general interest in this idea. If there's enough upvotes then we will consider this feature request in our future planning. If there's unfortunately not enough upvotes then we will close this issue. |