Merge pull request #344 from geonnave/release-0.8.0-0.5.0 #1207

Job	Run time
generate-fstar	1m 55s
check-style	12s
unit-tests-default	53s
test-lakers-python	54s
unit-tests (lakers-crypto/psa, ead-none)	57s
unit-tests (lakers-crypto/psa, ead-authz)	51s
unit-tests (lakers-crypto/rustcrypto, ead-none)	42s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	41s
build-example-for-cortex-m4 (crypto-psa)	1m 32s
build-coap-example	49s
build-edhoc-package (lakers-crypto/psa)	2m 32s
build-example-for-cortex-m4 (crypto-cryptocell310)	1m 11s
build-lakers-c (crypto-rustcrypto)	1m 10s
build-edhoc-package (lakers-crypto/psa-baremetal)	1m 31s
build-lakers-c (crypto-psa-baremetal)	1m 27s
build-edhoc-package (lakers-crypto/cryptocell310)	2m 32s
build-lakers-c-example	2m 11s
build-lakers-c (crypto-cryptocell310)	1m 28s
build-edhoc-package (lakers-crypto/rustcrypto)	1m 28s
run-example-on-qemu (crypto-psa)	1m 56s
release	11s
	27m 3s

Provide feedback