Skip to content
Rust

PCell: interior mutability with ghost ownership #4673

Sign in to view logs

PCell: interior mutability with ghost ownership

PCell: interior mutability with ghost ownership #4673

Re-run triggered February 17, 2025 13:08
@LysxiaLysxia
#1262
arnaudgolfouse:pcell
Status Success
Total duration 1m 59s
Artifacts 1

rust.yml

on: pull_request
why3-deps
19s
why3-deps
fmt
29s
fmt
contracts-build
44s
contracts-build
build
2m 33s
build
why3
5m 10s
why3
install
1m 47s
install
Fit to window
Zoom out
Zoom in