Skip to content
Back to pull request #455

Update hover.py to use language server argument #866

Sign in to view logs

Update hover.py to use language server argument

Update hover.py to use language server argument #866

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
33s
33s