Skip to content
Build & Tests

[pointer] Improve soundness of invariant modeling #6498

Sign in to view logs

[pointer] Improve soundness of invariant modeling

[pointer] Improve soundness of invariant modeling #6498

Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn-1-61-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn-1-61-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
succeeded Feb 27, 2025 in 1m 32s