Add ProofSizeExt
to benchmarks
#5156
checks-quick.yml
on: pull_request
set-image
9s
check-dependency-rules
10s
check-workspace
22s
check-markdown
14s
fmt
1m 1s
check-rust-feature-propagation
1m 53s
test-rust-features
1m 54s
check-toml-format
57s
check-umbrella
2m 5s