manifest-update #947

Sign in to view logs

Triggered via repository dispatch July 16, 2024 23:19

seL4-ci

manifest-update ⁠ e429ff6

Status Success

Total duration 19m 46s

Artifacts 13

proof-deploy.yml

on: repository_dispatch

Matrix: Rebase platform branches

Matrix: Proof

Deploy manifest

Artifacts

Produced during runtime

Name	Size
logs--AARCH64-	153 MB
logs--AARCH64-bcm2711	153 MB
logs--AARCH64-zynqmp	153 MB
logs--ARM-	209 MB
logs--ARM_HYP-	192 MB
logs--ARM_HYP-exynos5	383 MB
logs--RISCV64-	185 MB
logs--X64-	175 MB
logs-1-AARCH64-	153 MB
logs-1-ARM-	209 MB
logs-1-ARM_HYP-	192 MB
logs-1-RISCV64-	185 MB
logs-1-X64-	175 MB