manifest-update #739

Sign in to view logs

Triggered via repository dispatch March 14, 2024 07:37

seL4-ci

manifest-update ⁠ d75fdbe

Status Success

Total duration 3h 54m 1s

Artifacts 13

proof-deploy.yml

on: repository_dispatch

Matrix: Rebase platform branches

Matrix: Proof

Deploy manifest

Artifacts

Produced during runtime

Name	Size
kernel-builds--ARM Expired	1.53 MB
kernel-builds--RISCV64 Expired	1.23 MB
kernel-builds-1-RISCV64 Expired	1.3 MB
logs--AARCH64 Expired	149 MB
logs--ARM Expired	204 MB
logs--ARM_HYP Expired	187 MB
logs--RISCV64 Expired	180 MB
logs--X64 Expired	170 MB
logs-1-AARCH64 Expired	149 MB
logs-1-ARM Expired	204 MB
logs-1-ARM_HYP Expired	187 MB
logs-1-RISCV64 Expired	180 MB
logs-1-X64 Expired	170 MB