Skip to content
Back to pull request #908

change the deep model of Box<T> to Box<T::DeepModelTy> #3089

Sign in to view logs

change the deep model of Box<T> to Box<T::DeepModelTy>

change the deep model of Box<T> to Box<T::DeepModelTy> #3089

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
3m 52s
contracts-build
35s
fmt
20s
why3
5m 12s
9m 59s