manifest-update #978

Job	Run time
Freeze MCS Code	0s
Trigger platform branch rebase	1s
Freeze Code	22s
MCS Proof	0s
Deploy MCS manifest	0s
Proof (AARCH64)	14m 5s
Proof (AARCH64, 1)	13m 54s
Proof (AARCH64, bcm2711)	13m 52s
Proof (ARM)	15m 33s
Proof (AARCH64, zynqmp)	14m 4s
Proof (ARM, 1)	15m 16s
Proof (ARM_HYP, 1)	14m 42s
Proof (ARM_HYP)	14m 30s
Proof (ARM_HYP, exynos5)	16m 18s
Proof (RISCV64)	14m 19s
Proof (RISCV64, 1)	14m 9s
Proof (X64)	14m 6s
Proof (X64, 1)	13m 59s
Deploy manifest	0s
	3h 9m 10s

Provide feedback