Skip to content

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

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 #15074

Triggered via pull request January 15, 2025 06:42
Status Success
Total duration 4m 22s
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