Clarify documentation for update proof.json (#1421) #4855
rust.yml
on: push
fmt
25s
contracts-build
30s
contracts-build-stable
8s
build
3m 0s
why3
8m 26s
Matrix: install