Test

camkes-vm-linux: trivial: typo #777

Job	Run time
Freeze Code	12s
Tutorial Solution (capabilities)	2m 50s
Tutorial Solution (dynamic-1)	4m 50s
Tutorial Solution (dynamic-2)	4m 53s
Tutorial Solution (dynamic-3)	3m 41s
Tutorial Solution (dynamic-4)	3m 16s
Tutorial Solution (hello-camkes-0)	2m 29s
Tutorial Solution (hello-camkes-1)	2m 32s
Tutorial Solution (hello-camkes-2)	2m 32s
Tutorial Solution (hello-camkes-timer)	2m 3s
Tutorial Solution (hello-world)	2m 24s
Tutorial Solution (interrupts)	2m 18s
Tutorial Solution (ipc)	3m 35s
Tutorial Solution (mapping)	2m 1s
Tutorial Solution (notifications)	2m 14s
Tutorial Solution (untyped)	3m 1s
Tutorial Solution (threads)	4m 11s
Tutorial Solution (fault-handlers)	3m 22s
Tutorial Solution (mcs)	2m 52s
Deploy manifest	44s
	56m 0s

Provide feedback