Back to pull request #10012

feat(themes): add `jump-label` for gruvbox themes #18127

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lints	2m 20s
Check (msrv)	2m 4s
Docs	4m 19s
Test Suite (ubuntu-latest)	5m 58s
Test Suite (macos-latest)	9m 34s
Test Suite (windows-latest)	8m 59s
	33m 14s