Test

deps-update #1059

Job	Run time
Freeze Code	20s
Tutorial Solution (hello-camkes-2)	2m 34s
Tutorial Solution (hello-camkes-0)	2m 33s
Tutorial Solution (hello-camkes-1)	2m 35s
Tutorial Solution (libraries-3)	1m 21s
Tutorial Solution (capabilities)	2m 44s
Tutorial Solution (libraries-4)	1m 13s
Tutorial Solution (libraries-1)	1m 18s
Tutorial Solution (libraries-2)	1m 12s
Tutorial Solution (hello-world)	2m 10s
Tutorial Solution (ipc)	3m 15s
Tutorial Solution (hello-camkes-timer)	1m 54s
Tutorial Solution (threads)	3m 41s
Tutorial Solution (interrupts)	2m 11s
Tutorial Solution (notifications)	2m 11s
Tutorial Solution (untyped)	2m 47s
Tutorial Solution (mcs)	2m 52s
Tutorial Solution (fault-handlers)	3m 10s
Tutorial Solution (mapping)	1m 53s
Deploy manifest	28s
	42m 22s

Provide feedback