Skip to content

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

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

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

Triggered via pull request January 15, 2025 06:53
Status Success
Total duration 4m 9s
Artifacts

lint-rust.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
rustfmt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
clippy-stable
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
clippy-nightly
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
miri
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636