manifest-update #1040

Job	Run time
Freeze Code	16s
Trigger platform branch rebase	3s
Freeze MCS Code	0s
MCS Proof	0s
Deploy MCS manifest	0s
Proof (AARCH64)	2h 11m 56s
Proof (AARCH64, 1)	2h 9m 17s
Proof (AARCH64, bcm2711)	2h 15m 13s
Proof (AARCH64, zynqmp)	2h 11m 33s
Proof (ARM_HYP)	2h 9m 51s
Proof (ARM_HYP, 1)	2h 9m 9s
Proof (ARM_HYP, exynos5)	2h 14m 13s
Proof (ARM)	3h 9m 36s
Proof (RISCV64)	1h 56m 34s
Proof (ARM, 1)	3h 7m 5s
Proof (X64)	2h 38m 15s
Proof (RISCV64, 1)	1h 58m 0s
Proof (X64, 1)	2h 26m 15s
Deploy manifest	1m 9s
	1d 6h 38m 25s

Provide feedback