Code Verification CI

Specify XmssSignatureBlob with length prefix #420

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mps-verify-cn	11m 31s
mps-verify-frama-c	3m 8s
secure-boot-verify-cn	26m 16s
	40m 55s