Merge pull request #320 from GuillaumeGomez/jump-to-def #857

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (stable)	1m 25s
build (beta)	1m 17s
check (stable)	55s
build (nightly)	1m 14s
check (beta)	43s
check (nightly)	42s
	6m 16s