Merge pull request #286 from chrysn-pull-requests/python-quad-sizes #120

Job	Run time
generate-fstar	2m 45s
check-style	17s
test-lakers-python	50s
unit-tests-default	46s
unit-tests (lakers-crypto/psa, ead-none)	49s
unit-tests (lakers-crypto/psa, ead-authz)	46s
unit-tests (lakers-crypto/rustcrypto, ead-none)	32s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	32s
run-example-on-qemu (crypto-psa)	1m 21s
build-edhoc-package (lakers-crypto/psa)	1m 12s
build-edhoc-package (lakers-crypto/psa-baremetal)	1m 12s
build-lakers-c-example	1m 45s
build-edhoc-package (lakers-crypto/cryptocell310)	1m 6s
build-lakers-c (crypto-rustcrypto)	1m 19s
build-coap-example	46s
build-edhoc-package (lakers-crypto/rustcrypto)	1m 1s
build-lakers-c (crypto-psa-baremetal)	1m 24s
build-example-for-cortex-m4 (crypto-psa)	1m 21s
build-lakers-c (crypto-cryptocell310)	1m 16s
build-example-for-cortex-m4 (crypto-cryptocell310)	1m 15s
release	0s
	22m 15s

Provide feedback