Skip to content
miri

Push SortOptions into DynComparator Allowing Nested Comparisons (#5426) #9796

Sign in to view logs

Push SortOptions into DynComparator Allowing Nested Comparisons (#5426)

Push SortOptions into DynComparator Allowing Nested Comparisons (#5426) #9796

Triggered via pull request May 28, 2024 16:56
@tustvoldtustvold
synchronize #5792
tustvold:sort-options-comparator
Status Cancelled
Total duration 5m 2s
Artifacts –

miri.yaml

on: pull_request
MIRI
4m 53s
MIRI
Fit to window
Zoom out
Zoom in

Annotations

2 errors
MIRI
Canceling since a higher priority waiting request for 'apache/arrow-rs-sort-options-comparator-miri' exists
MIRI
The operation was canceled.