deps-update #578

Job	Run time
Freeze Code	15s
Tutorial Solution (capabilities)	3m 25s
Tutorial Solution (dynamic-1)	5m 42s
Tutorial Solution (dynamic-2)	4m 55s
Tutorial Solution (dynamic-3)	4m 59s
Tutorial Solution (dynamic-4)	4m 13s
Tutorial Solution (hello-camkes-0)	4m 3s
Tutorial Solution (hello-camkes-1)	3m 24s
Tutorial Solution (hello-camkes-2)	3m 32s
Tutorial Solution (hello-camkes-timer)	2m 49s
Tutorial Solution (hello-world)	3m 5s
Tutorial Solution (interrupts)	2m 54s
Tutorial Solution (ipc)	4m 38s
Tutorial Solution (mapping)	2m 25s
Tutorial Solution (notifications)	3m 11s
Tutorial Solution (untyped)	3m 40s
Tutorial Solution (threads)	4m 43s
Tutorial Solution (fault-handlers)	4m 12s
Tutorial Solution (mcs)	3m 44s
Deploy manifest	36s
	1h 10m 25s

Provide feedback