Skip to content
Proofs

manifest-update #793

Sign in to view logs

manifest-update

manifest-update #793

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Rebase platform branches (imx8-fpu-ver)
16s
Freeze Code
25s
Rebase platform branches (exynos5-ver)
15s
Proof (ARM)
2h 17m 48s
Proof (AARCH64)
2h 57m 42s
Proof (AARCH64, 1)
2h 48m 54s
Proof (ARM, 1)
2h 33m 37s
Proof (ARM_HYP)
2h 36m 30s
Proof (ARM_HYP, 1)
2h 27m 3s
Proof (RISCV64, 1)
2h 4m 7s
Proof (RISCV64)
2h 12m 28s
Proof (X64)
3h 15m 15s
Proof (X64, 1)
2h 51m 26s
Deploy manifest
1m 17s
1d 2h 7m 3s