manifest-update #993

Job	Run time
Freeze MCS Code	0s
Freeze Code	19s
Trigger platform branch rebase	2s
MCS Proof	0s
Deploy MCS manifest	0s
Proof (AARCH64, 1)	13m 8s
Proof (AARCH64)	12m 42s
Proof (AARCH64, bcm2711)	12m 35s
Proof (ARM)	16m 35s
Proof (ARM, 1)	17m 30s
Proof (ARM_HYP)	3h 17m 13s
Proof (AARCH64, zynqmp)	12m 41s
Proof (ARM_HYP, 1)	3h 16m 31s
Proof (ARM_HYP, exynos5)	3h 22m 12s
Proof (RISCV64)	15m 30s
Proof (RISCV64, 1)	15m 45s
Proof (X64)	14m 29s
Proof (X64, 1)	14m 31s
Deploy manifest	1m 12s
	12h 22m 55s

Provide feedback