Merge pull request #322 from geonnave/release-0.7.2-0.4.1 #1151

Job	Run time
generate-fstar	1m 59s
check-style	19s
unit-tests-default	52s
test-lakers-python	48s
unit-tests (lakers-crypto/psa, ead-none)	50s
unit-tests (lakers-crypto/psa, ead-authz)	27s
unit-tests (lakers-crypto/rustcrypto, ead-none)	39s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	40s
run-example-on-qemu	0s
build-lakers-c	0s
build-edhoc-package	0s
build-lakers-c-example	0s
build-coap-example	0s
build-example-for-cortex-m4	0s
release	0s
	6m 34s

Provide feedback