Skip to content
Rust

PCell: interior mutability with ghost ownership #4648

Sign in to view logs

PCell: interior mutability with ghost ownership

PCell: interior mutability with ghost ownership #4648

Triggered via pull request February 14, 2025 12:57
@arnaudgolfousearnaudgolfouse
synchronize #1262
arnaudgolfouse:pcell
Status Failure
Total duration 15m 12s
Artifacts 1

rust.yml

on: pull_request
why3-deps
6m 55s
why3-deps
fmt
30s
fmt
contracts-build
31s
contracts-build
build
3m 30s
build
why3
7m 57s
why3
install
3m 4s
install
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 9 warnings
build
Process completed with exit code 1.
install
Process completed with exit code 101.
contracts-build
Cache not found for keys: Linux-contracts-
build
Cache not found for keys: Linux-cargo-87fa6913e0002693427b9754a621c7bc6c38d0ae39a1fa4a47ff5ae2dc2d0f92
why3-deps
Cache not found for keys: v3-setup-ocaml-opam-d388b1c4147d4271190c609fe127bd98484163b0204f4d56939eb8a91ff6e804, v3-setup-ocaml-opam-d388b1c4147d4271190c609fe127bd98484163b0204f4d56939eb8a91ff6e804
why3-deps
Cache not found for keys: Linux-opam-0b2b3167c87f5bda530be1854f5ed408138ca59bc6e96280c7c8b73f5cef987f
install
Cache not found for keys: Linux-cargo-install-87fa6913e0002693427b9754a621c7bc6c38d0ae39a1fa4a47ff5ae2dc2d0f92
install
Cache not found for keys: Linux-cargo-creusot-setup-84fdafb2d58c70fb64237bca82b4ae3b8d8ad60d877d791320102b996f955436
why3
Cache not found for keys: Linux-cargo-creusot-setup-84fdafb2d58c70fb64237bca82b4ae3b8d8ad60d877d791320102b996f955436
why3
Cache not found for keys: Linux-cargo-creusot-87fa6913e0002693427b9754a621c7bc6c38d0ae39a1fa4a47ff5ae2dc2d0f92
why3
Cache not found for keys: Linux-why3find-6ce815904191f81673de07349100da65f3f91368e44a01ef106b25af5b8f1e63

Artifacts

Produced during runtime
Name Size
why3-deps
85.3 MB