Skip to content
Rust

Merge tests ui and creusot-contracts (#1353) #4636

Sign in to view logs

Merge tests ui and creusot-contracts (#1353)

Merge tests ui and creusot-contracts (#1353) #4636

Triggered via push February 11, 2025 13:03
@LysxiaLysxia
pushed 40a66fd
master
Status Success
Total duration 12m 16s
Artifacts 1

rust.yml

on: push
why3-deps
3m 51s
why3-deps
fmt
29s
fmt
contracts-build
29s
contracts-build
build
3m 21s
build
why3
8m 7s
why3
install
3m 21s
install
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
contracts-build
Cache not found for keys: Linux-contracts-
why3-deps
Cache not found for keys: Linux-opam-0b2b3167c87f5bda530be1854f5ed408138ca59bc6e96280c7c8b73f5cef987f
install
Cache not found for keys: Linux-cargo-install-c2e36bb97ac98c66256ad5c4f7e40a2f39e4981918ff3239ddc5eaf60f03bf82
install
Cache not found for keys: Linux-cargo-creusot-setup-84fdafb2d58c70fb64237bca82b4ae3b8d8ad60d877d791320102b996f955436
why3
Cache not found for keys: Linux-cargo-creusot-setup-84fdafb2d58c70fb64237bca82b4ae3b8d8ad60d877d791320102b996f955436
why3
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
why3
Cache not found for keys: Linux-cargo-creusot-c2e36bb97ac98c66256ad5c4f7e40a2f39e4981918ff3239ddc5eaf60f03bf82
why3
Cache not found for keys: Linux-why3find-6ce815904191f81673de07349100da65f3f91368e44a01ef106b25af5b8f1e63

Artifacts

Produced during runtime
Name Size
why3-deps
85.3 MB