manifest-update #865

Sign in to view logs

Triggered via repository dispatch June 12, 2024 13:10

seL4-ci

manifest-update ⁠ 6ab6513

Status Success

Total duration 2h 32m 23s

Artifacts 12

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-1-ARM Expired	1.49 MB
logs--AARCH64 Expired	304 MB
logs--ARM Expired	417 MB
logs--ARM_HYP Expired	383 MB
logs--RISCV64 Expired	369 MB
logs--X64 Expired	339 MB
logs-1-AARCH64 Expired	307 MB
logs-1-ARM Expired	417 MB
logs-1-ARM_HYP Expired	383 MB
logs-1-RISCV64 Expired	370 MB
logs-1-X64 Expired	339 MB