Skip to content
Rust

Use write_all rather than write in build.rs #4677

Sign in to view logs

Use write_all rather than write in build.rs

Use write_all rather than write in build.rs #4677

Re-run triggered February 17, 2025 14:23
@arnaudgolfousearnaudgolfouse
#1364
arnaudgolfouse:build-write-all
Status Success
Total duration 10m 39s
Artifacts 1

rust.yml

on: pull_request
why3-deps
20s
why3-deps
fmt
26s
fmt
contracts-build
28s
contracts-build
build
2m 20s
build
why3
10m 24s
why3
install
1m 45s
install
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
why3
Cache not found for keys: Linux-cargo-creusot-setup-581774bf07b880d73b6992d650dd1735a788ebeaf0f46181308d1c19a304e9ac
why3
Cache not found for keys: Linux-cargo-creusot-f1ec6723ed13de3edabe3d17282c358b959a5098364d3085a44e76310d38cc84