keccak: add example of translation #63
clarusformatting.yml
on: pull_request
Annotations
10 errors
|
cargo fmt
Process completed with exit code 1.
|
|
cargo fmt
info: syncing channel updates for '1.84.1-x86_64-unknown-linux-gnu'
info: latest update on 2025-01-30, rust version 1.84.1 (e71f9a9a9 2025-01-27)
error: component 'rust-std' for target 'wasm32-wasi' is unavailable for download for channel '1.84.1'
|
|
cargo fmt
Command failed: rustc -vV
|
|
build-nargo
Process completed with exit code 1.
|
|
build-nargo
info: syncing channel updates for '1.84.1-x86_64-unknown-linux-gnu'
info: latest update on 2025-01-30, rust version 1.84.1 (e71f9a9a9 2025-01-27)
error: component 'rust-std' for target 'wasm32-wasi' is unavailable for download for channel '1.84.1'
|
|
build-nargo
Command failed: rustc -vV
|
|
cargo clippy
Process completed with exit code 1.
|
|
cargo clippy
info: syncing channel updates for '1.84.1-x86_64-unknown-linux-gnu'
info: latest update on 2025-01-30, rust version 1.84.1 (e71f9a9a9 2025-01-27)
error: component 'rust-std' for target 'wasm32-wasi' is unavailable for download for channel '1.84.1'
|
|
cargo clippy
Command failed: rustc -vV
|
|
Formatting End
Process completed with exit code 1.
|