Autogenerated contracts (failed)#1

vonaka wants to merge 3 commits intomainvonaka/verify-rust-std:mainfrom

generated_contractsvonaka/verify-rust-std:generated_contractsCopy head branch name to clipboard