miri

Add `Field::new_list_field` and improve `DataType::new_list` docs #9012

Sign in to view logs

Summary
Jobs
- MIRI
Run details
- Usage
- Workflow file

Triggered via pull request December 27, 2023 12:44

alamb

synchronize #4627

alamb:alamb/new_list_and_docs

Status Success

Total duration 4m 23s

Artifacts –

miri.yaml

on: pull_request