Rust

`PCell`: interior mutability with ghost ownership #4648

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	3m 30s
why3-deps	6m 55s
fmt	30s
contracts-build	31s
why3	7m 57s
install	3m 4s
	22m 27s