Merge pull request #319 from chrysn-pull-requests/log-to-python #137

Job	Run time
check-style	15s
generate-fstar	2m 7s
test-lakers-python	51s
unit-tests (lakers-crypto/psa, ead-none)	54s
unit-tests-default	50s
unit-tests (lakers-crypto/psa, ead-authz)	54s
unit-tests (lakers-crypto/rustcrypto, ead-none)	44s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	43s
build-edhoc-package (lakers-crypto/psa)	2m 4s
build-coap-example	56s
build-edhoc-package (lakers-crypto/psa-baremetal)	1m 34s
build-example-for-cortex-m4 (crypto-psa)	1m 34s
build-lakers-c (crypto-rustcrypto)	1m 19s
build-edhoc-package (lakers-crypto/cryptocell310)	1m 29s
build-lakers-c (crypto-psa-baremetal)	1m 25s
build-example-for-cortex-m4 (crypto-cryptocell310)	1m 7s
build-lakers-c-example	1m 43s
build-edhoc-package (lakers-crypto/rustcrypto)	1m 7s
build-lakers-c (crypto-cryptocell310)	1m 15s
run-example-on-qemu (crypto-psa)	2m 7s
release	0s
	24m 58s

Provide feedback