[REQUEST] Remove typing_extensions as a run time dependency
#716
This file contains hidden or 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: issues | |
| on: | |
| issues: | |
| types: [closed] | |
| jobs: | |
| add-comment: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| issues: write | |
| steps: | |
| - name: Did I solve your problem? | |
| uses: peter-evans/create-or-update-comment@a35cf36e5301d70b76f316e867e7788a55a31dae | |
| with: | |
| issue-number: ${{ github.event.issue.number }} | |
| body: | | |
| I hope we solved your problem. | |
| If you like using Rich, you might also enjoy [Textual](https://textual.textualize.io) | |