manifest-update #1047

Job	Run time
Freeze Code	15s
Trigger platform branch rebase	3s
Freeze MCS Code	0s
MCS Proof	0s
Deploy MCS manifest	0s
Proof (AARCH64)	11m 39s
Proof (AARCH64, 1)	11m 3s
Proof (AARCH64, bcm2711)	10m 57s
Proof (AARCH64, zynqmp)	11m 31s
Proof (ARM)	14m 10s
Proof (ARM, 1)	14m 21s
Proof (ARM_HYP)	13m 57s
Proof (ARM_HYP, 1)	13m 48s
Proof (ARM_HYP, exynos5)	16m 16s
Proof (RISCV64)	12m 52s
Proof (RISCV64, 1)	13m 33s
Proof (X64)	12m 15s
Proof (X64, 1)	12m 24s
Deploy manifest	1m 11s
	2h 50m 15s

Provide feedback