Lint Rust

fix: Fix incorrect top-k by sorted column, fix `head()` returning extra rows #15078

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy-stable	1m 22s
clippy-nightly	1m 38s
miri	4m 7s
rustfmt	19s
	7m 26s