Test

deps-update #1071

Job	Run time
Freeze Code	16s
Tutorial Solution (libraries-4)	1m 16s
Tutorial Solution (capabilities)	2m 39s
Tutorial Solution (hello-world)	2m 17s
Tutorial Solution (hello-camkes-0)	2m 24s
Tutorial Solution (ipc)	3m 15s
Tutorial Solution (libraries-2)	1m 13s
Tutorial Solution (hello-camkes-1)	2m 27s
Tutorial Solution (hello-camkes-2)	2m 33s
Tutorial Solution (notifications)	2m 3s
Tutorial Solution (libraries-3)	1m 14s
Tutorial Solution (untyped)	2m 51s
Tutorial Solution (libraries-1)	1m 20s
Tutorial Solution (hello-camkes-timer)	1m 58s
Tutorial Solution (mcs)	2m 39s
Tutorial Solution (interrupts)	2m 5s
Tutorial Solution (threads)	3m 44s
Tutorial Solution (mapping)	1m 50s
Tutorial Solution (fault-handlers)	3m 11s
Deploy manifest	39s
	41m 54s

Provide feedback