miri

feat: add `is_there_null_pointing_to_non_empty_value` helper function in `OffsetBuffer` #16494

Sign in to view logs

Triggered via pull request April 14, 2026 10:29

rluvaton

opened #9711

rluvaton:add-is-there-null-pointing-to-non-empty-value

Status Success

Total duration 1h 54m 31s

Artifacts –

miri.yaml

on: pull_request