Proofs

manifest-update #662

Sign in to view logs

Triggered via repository dispatch January 16, 2024 00:39

seL4-ci

manifest-update ⁠ 52b4ba5

Status Success

Total duration 1h 41m 59s

Artifacts 10

proof-deploy.yml

on: repository_dispatch

Matrix: Rebase platform branches

Matrix: Proof

Deploy manifest

Artifacts

Produced during runtime

Name	Size
logs--AARCH64 Expired	136 MB
logs--ARM Expired	203 MB
logs--ARM_HYP Expired	186 MB
logs--RISCV64 Expired	180 MB
logs--X64 Expired	170 MB
logs-1-AARCH64 Expired	136 MB
logs-1-ARM Expired	203 MB
logs-1-ARM_HYP Expired	186 MB
logs-1-RISCV64 Expired	180 MB
logs-1-X64 Expired	170 MB