Merge pull request #306 from geonnave/logs-rust-to-python #128

Job	Run time
check-style	16s
generate-fstar	2m 5s
unit-tests-default	49s
test-lakers-python	54s
unit-tests (lakers-crypto/psa, ead-none)	55s
unit-tests (lakers-crypto/psa, ead-authz)	54s
unit-tests (lakers-crypto/rustcrypto, ead-none)	43s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	44s
build-example-for-cortex-m4 (crypto-psa)	1m 18s
build-lakers-c (crypto-rustcrypto)	1m 18s
build-coap-example	51s
build-example-for-cortex-m4 (crypto-cryptocell310)	1m 21s
build-edhoc-package (lakers-crypto/psa)	1m 27s
build-lakers-c (crypto-psa-baremetal)	1m 37s
build-edhoc-package (lakers-crypto/psa-baremetal)	1m 31s
build-lakers-c (crypto-cryptocell310)	1m 28s
build-lakers-c-example	1m 34s
run-example-on-qemu (crypto-psa)	1m 51s
build-edhoc-package (lakers-crypto/cryptocell310)	1m 5s
build-edhoc-package (lakers-crypto/rustcrypto)	59s
release	0s
	23m 40s

Provide feedback