Back to pull request #455

Update hover.py to use language server argument #1007

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre_job	4s
lint	53s
test-pyodide	2m 32s
build	32s
test (ubuntu-latest, 3.8)	52s
test (ubuntu-latest, 3.9)	59s
test (ubuntu-latest, 3.10)	53s
test (ubuntu-latest, 3.11)	50s
test (ubuntu-latest, 3.12)	55s
test (windows-latest, 3.8)	1m 27s
test (windows-latest, 3.9)	1m 17s
test (windows-latest, 3.10)	1m 15s
test (windows-latest, 3.11)	1m 47s
test (windows-latest, 3.12)	2m 24s
	16m 40s