Code Verification CI

mkm: test script now needs legacy --with-static-hack flag #382

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
secure-boot-verify-cn	7m 31s
mps-verify-cn	10m 49s
mps-verify-frama-c	6m 20s
	24m 40s