Test

deps-update #1161

Job	Run time
Freeze Code	15s
Tutorial Solution (capabilities)	2m 40s
Tutorial Solution (hello-camkes-0)	2m 22s
Tutorial Solution (libraries-1)	1m 16s
Tutorial Solution (libraries-2)	1m 22s
Tutorial Solution (hello-world)	2m 17s
Tutorial Solution (ipc)	2m 32s
Tutorial Solution (hello-camkes-2)	2m 32s
Tutorial Solution (interrupts)	2m 3s
Tutorial Solution (libraries-4)	1m 18s
Tutorial Solution (hello-camkes-timer)	1m 37s
Tutorial Solution (hello-camkes-1)	2m 26s
Tutorial Solution (libraries-3)	1m 26s
Tutorial Solution (threads)	2m 22s
Tutorial Solution (mcs)	1m 47s
Tutorial Solution (notifications)	1m 54s
Tutorial Solution (fault-handlers)	2m 19s
Tutorial Solution (untyped)	2m 26s
Tutorial Solution (mapping)	2m 2s
Deploy manifest	0s
	36m 56s

Provide feedback