Merge pull request #292 from geonnave/release-v0.6.2 #123

Job	Run time
generate-fstar	2m 0s
check-style	15s
unit-tests (lakers-crypto/psa, ead-none)	50s
test-lakers-python	56s
unit-tests (lakers-crypto/psa, ead-authz)	48s
unit-tests-default	47s
unit-tests (lakers-crypto/rustcrypto, ead-none)	37s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	34s
build-lakers-c (crypto-rustcrypto)	1m 6s
build-lakers-c (crypto-psa-baremetal)	1m 20s
build-coap-example	52s
build-lakers-c (crypto-cryptocell310)	1m 33s
build-edhoc-package (lakers-crypto/psa)	2m 7s
build-example-for-cortex-m4 (crypto-psa)	2m 2s
build-edhoc-package (lakers-crypto/psa-baremetal)	2m 0s
build-example-for-cortex-m4 (crypto-cryptocell310)	1m 9s
build-edhoc-package (lakers-crypto/cryptocell310)	1m 17s
run-example-on-qemu (crypto-psa)	2m 46s
build-edhoc-package (lakers-crypto/rustcrypto)	1m 9s
build-lakers-c-example	2m 2s
release	0s
	26m 10s

Provide feedback