seL4Bench PR

cmake: allow setting NANOPB_SRC_ROOT_FOLDER #78

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Freeze Code	17s
Build (armv7a)	4m 17s
Build (armv8a)	9m 17s
Build (nehalem)	2m 23s
Build (rv64imac)	2m 58s
HW Run	0s
	19m 12s