manifest-update #985

Job	Run time
Trigger platform branch rebase	2s
Freeze Code	17s
Freeze MCS Code	0s
MCS Proof	0s
Deploy MCS manifest	0s
Proof (AARCH64, 1)	2h 21m 58s
Proof (AARCH64)	2h 8m 41s
Proof (AARCH64, bcm2711)	2h 12m 27s
Proof (AARCH64, zynqmp)	2h 11m 50s
Proof (ARM)	2h 20m 30s
Proof (ARM, 1)	2h 26m 33s
Proof (ARM_HYP)	2h 12m 14s
Proof (ARM_HYP, 1)	2h 12m 38s
Proof (ARM_HYP, exynos5)	2h 12m 13s
Proof (RISCV64, 1)	2h 1m 35s
Proof (X64)	2h 28m 0s
Proof (X64, 1)	2h 23m 26s
Proof (RISCV64)	2h 1m 27s
Deploy manifest	1m 9s
	1d 5h 15m 0s

Provide feedback