Skip to content
miri

fix(ffi): make FFI struct fields private to close Drop soundness hole #17741

Sign in to view logs

fix(ffi): make FFI struct fields private to close Drop soundness hole

fix(ffi): make FFI struct fields private to close Drop soundness hole #17741

Run time

Learn about OS pricing on GitHub Actions
Job Run time
MIRI (1)
12m 59s
MIRI (4)
19m 23s
MIRI (3)
17m 35s
MIRI (2)
18m 25s
1h 8m 22s