Build results for nightly-2024-07-05 target xtensa-esp32s3-none-elf miri-std

Preparing a sysroot for Miri (target: xtensa-esp32s3-none-elf)...
warning: no edition set: defaulting to the 2015 edition while the latest is 2021
   Compiling compiler_builtins v0.1.109
    Checking core v0.0.0 (/home/nora/.rustup/toolchains/nightly-2024-07-05-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
    Checking rustc-std-workspace-core v1.99.0 (/home/nora/.rustup/toolchains/nightly-2024-07-05-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/rustc-std-workspace-core)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
    Checking alloc v0.0.0 (/home/nora/.rustup/toolchains/nightly-2024-07-05-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/alloc)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
    Checking custom-local-sysroot v0.0.0 (/tmp/.tmpqiIizw)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
'esp32-s3' is not a recognized processor for this target (ignoring processor)
    Finished `custom_sysroot` profile [optimized] target(s) in 15.00s
A sysroot for Miri is now available in `/tmp/.tmp8heuGW`.