manifest-update #870

Job	Run time
Freeze Code	23s
Rebase platform branches (imx8-fpu-ver)	12s
Rebase platform branches (exynos5-ver)	10s
Proof (AARCH64)	2h 28m 39s
Proof (AARCH64, 1)	2h 23m 22s
Proof (ARM)	2h 18m 49s
Proof (ARM, 1)	2h 24m 30s
Proof (ARM_HYP)	2h 22m 0s
Proof (ARM_HYP, 1)	2h 21m 6s
Proof (RISCV64)	14m 52s
Proof (RISCV64, 1)	14m 25s
Proof (X64, 1)	13m 9s
Proof (X64)	12m 42s
Deploy manifest	1m 24s
	15h 15m 43s

Provide feedback