Skip to content

chore(rust): merge nano-arrow/polars-arrow #3057

chore(rust): merge nano-arrow/polars-arrow

chore(rust): merge nano-arrow/polars-arrow #3057

Triggered via pull request October 14, 2023 13:48
@ritchie46ritchie46
synchronize #11719
arrow_ref
Status Cancelled
Total duration 2m 38s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-rust.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
miri
Canceling since a higher priority waiting request for 'Lint Rust-refs/pull/11719/merge' exists
miri
The operation was canceled.