[INFO] fetching crate libcrux-iot-sha3 0.0.1-alpha.1...
[INFO] checking libcrux-iot-sha3-0.0.1-alpha.1 against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6+rustflags=-Znext-solver=coherence for pr-133502-30
[INFO] extracting crate libcrux-iot-sha3 0.0.1-alpha.1 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate libcrux-iot-sha3 0.0.1-alpha.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate libcrux-iot-sha3 0.0.1-alpha.1
[INFO] tweaked toml for crates.io crate libcrux-iot-sha3 0.0.1-alpha.1 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate libcrux-iot-sha3 0.0.1-alpha.1 on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate libcrux-iot-sha3 0.0.1-alpha.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pretty_env_logger v0.5.0
[INFO] [stderr]   Downloaded hax-lib-macros v0.3.7
[INFO] [stderr]   Downloaded libcrux-traits v0.0.8
[INFO] [stderr]   Downloaded libcrux-secrets v0.0.6
[INFO] [stderr]   Downloaded hax-lib-macros-types v0.4.0
[INFO] [stderr]   Downloaded hax-lib-macros-types v0.3.7
[INFO] [stderr]   Downloaded crabgrind v0.2.6
[INFO] [stderr]   Downloaded hax-lib-macros v0.4.0
[INFO] [stderr]   Downloaded hax-lib v0.3.7
[INFO] [stderr]   Downloaded hax-lib v0.4.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 3c282c85043bc8d0e124f66276967677743770963ce779621cbc72880c4c7ad4
[INFO] running `Command { std: "docker" "start" "3c282c85043bc8d0e124f66276967677743770963ce779621cbc72880c4c7ad4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3c282c85043bc8d0e124f66276967677743770963ce779621cbc72880c4c7ad4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "3c282c85043bc8d0e124f66276967677743770963ce779621cbc72880c4c7ad4" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3c282c85043bc8d0e124f66276967677743770963ce779621cbc72880c4c7ad4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Znext-solver=coherence" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "3c282c85043bc8d0e124f66276967677743770963ce779621cbc72880c4c7ad4" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]     Checking memchr v2.8.2
[INFO] [stderr]    Compiling hax-lib v0.3.7
[INFO] [stderr]    Compiling zerocopy v0.8.52
[INFO] [stderr]     Checking log v0.4.32
[INFO] [stderr]    Compiling libcrux-iot-sha3 v0.0.1-alpha.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking humantime v2.3.0
[INFO] [stderr]     Checking rand v0.10.1
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking is-terminal v0.4.17
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking regex v1.12.4
[INFO] [stderr]     Checking env_logger v0.10.2
[INFO] [stderr]    Compiling hax-lib-macros v0.3.7
[INFO] [stderr]     Checking pretty_env_logger v0.5.0
[INFO] [stderr]     Checking libcrux-secrets v0.0.6
[INFO] [stderr]     Checking libcrux-traits v0.0.8
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.6
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]   --> tests/cavp.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 |     libcrux_kats::sha3::sha3_224_short,
[INFO] [stdout]    |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 28 -     libcrux_kats::sha3::sha3_224_short,
[INFO] [stdout] 28 +     libcrux_traits::sha3::sha3_224_short,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]   --> tests/cavp.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 34 |     libcrux_kats::sha3::sha3_224_long,
[INFO] [stdout]    |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 34 -     libcrux_kats::sha3::sha3_224_long,
[INFO] [stdout] 34 +     libcrux_traits::sha3::sha3_224_long,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]   --> tests/cavp.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     libcrux_kats::sha3::sha3_256_short,
[INFO] [stdout]    |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 40 -     libcrux_kats::sha3::sha3_256_short,
[INFO] [stdout] 40 +     libcrux_traits::sha3::sha3_256_short,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]   --> tests/cavp.rs:46:5
[INFO] [stdout]    |
[INFO] [stdout] 46 |     libcrux_kats::sha3::sha3_256_long,
[INFO] [stdout]    |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 46 -     libcrux_kats::sha3::sha3_256_long,
[INFO] [stdout] 46 +     libcrux_traits::sha3::sha3_256_long,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]   --> tests/cavp.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 |     libcrux_kats::sha3::sha3_384_short,
[INFO] [stdout]    |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 52 -     libcrux_kats::sha3::sha3_384_short,
[INFO] [stdout] 52 +     libcrux_traits::sha3::sha3_384_short,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]   --> tests/cavp.rs:58:5
[INFO] [stdout]    |
[INFO] [stdout] 58 |     libcrux_kats::sha3::sha3_384_long,
[INFO] [stdout]    |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 58 -     libcrux_kats::sha3::sha3_384_long,
[INFO] [stdout] 58 +     libcrux_traits::sha3::sha3_384_long,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]   --> tests/cavp.rs:64:5
[INFO] [stdout]    |
[INFO] [stdout] 64 |     libcrux_kats::sha3::sha3_512_short,
[INFO] [stdout]    |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 64 -     libcrux_kats::sha3::sha3_512_short,
[INFO] [stdout] 64 +     libcrux_traits::sha3::sha3_512_short,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]   --> tests/cavp.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 70 |     libcrux_kats::sha3::sha3_512_long,
[INFO] [stdout]    |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 70 -     libcrux_kats::sha3::sha3_512_long,
[INFO] [stdout] 70 +     libcrux_traits::sha3::sha3_512_long,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]    --> tests/cavp.rs:103:5
[INFO] [stdout]     |
[INFO] [stdout] 103 |     libcrux_kats::sha3::shake128_short,
[INFO] [stdout]     |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]     |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 103 -     libcrux_kats::sha3::shake128_short,
[INFO] [stdout] 103 +     libcrux_traits::sha3::shake128_short,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]    --> tests/cavp.rs:108:5
[INFO] [stdout]     |
[INFO] [stdout] 108 |     libcrux_kats::sha3::shake128_long,
[INFO] [stdout]     |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]     |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 108 -     libcrux_kats::sha3::shake128_long,
[INFO] [stdout] 108 +     libcrux_traits::sha3::shake128_long,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]    --> tests/cavp.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 113 |     libcrux_kats::sha3::shake256_short,
[INFO] [stdout]     |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]     |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 113 -     libcrux_kats::sha3::shake256_short,
[INFO] [stdout] 113 +     libcrux_traits::sha3::shake256_short,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]    --> tests/cavp.rs:118:5
[INFO] [stdout]     |
[INFO] [stdout] 118 |     libcrux_kats::sha3::shake256_long,
[INFO] [stdout]     |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]     |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 118 -     libcrux_kats::sha3::shake256_long,
[INFO] [stdout] 118 +     libcrux_traits::sha3::shake256_long,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]    --> tests/cavp.rs:150:5
[INFO] [stdout]     |
[INFO] [stdout] 150 |     libcrux_kats::sha3::shake128_variable_out,
[INFO] [stdout]     |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]     |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 150 -     libcrux_kats::sha3::shake128_variable_out,
[INFO] [stdout] 150 +     libcrux_traits::sha3::shake128_variable_out,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]    --> tests/cavp.rs:155:5
[INFO] [stdout]     |
[INFO] [stdout] 155 |     libcrux_kats::sha3::shake256_variable_out,
[INFO] [stdout]     |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]     |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 155 -     libcrux_kats::sha3::shake256_variable_out,
[INFO] [stdout] 155 +     libcrux_traits::sha3::shake256_variable_out,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]    --> tests/cavp.rs:187:5
[INFO] [stdout]     |
[INFO] [stdout] 187 |     libcrux_kats::sha3::shake128_variable_out,
[INFO] [stdout]     |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]     |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 187 -     libcrux_kats::sha3::shake128_variable_out,
[INFO] [stdout] 187 +     libcrux_traits::sha3::shake128_variable_out,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `libcrux_kats` in this scope
[INFO] [stdout]    --> tests/cavp.rs:192:5
[INFO] [stdout]     |
[INFO] [stdout] 192 |     libcrux_kats::sha3::shake256_variable_out,
[INFO] [stdout]     |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `libcrux_kats`
[INFO] [stdout]     |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 192 -     libcrux_kats::sha3::shake256_variable_out,
[INFO] [stdout] 192 +     libcrux_traits::sha3::shake256_variable_out,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `libcrux-iot-sha3` (test "cavp") due to 16 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "3c282c85043bc8d0e124f66276967677743770963ce779621cbc72880c4c7ad4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3c282c85043bc8d0e124f66276967677743770963ce779621cbc72880c4c7ad4", kill_on_drop: false }`
[INFO] [stdout] 3c282c85043bc8d0e124f66276967677743770963ce779621cbc72880c4c7ad4
