CI Checks

Update code to work with demos using latest mbedtls version #1019

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unit-tests-with-sanitizer	1m 49s
system-tests	1m 26s
unit-tests	3m 3s
link-verifier	11m 50s
doxygen	1m 33s
verify-manifest	9s
spell-check	1m 51s
formatting	21s
git-secrets	4s
memory_statistics	1m 8s
complexity	1m 13s
proof_ci	11m 41s
	36m 8s