formal verification

Add missing `Calldata`, `Bytes`, `CAIP2` and `CAIP10` API references #5726

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
apply-diff	2s
halmos	50s
verify	0s
	52s