manifest-update #995

Sign in to view logs

Triggered via repository dispatch November 6, 2024 10:08

seL4-ci

manifest-update ⁠ f8016c1

Status Success

Total duration 2h 10m 3s

Artifacts 15

proof-deploy.yml

on: repository_dispatch

Freeze MCS Code

Trigger platform branch rebase

Matrix: Proof

Matrix: MCS Proof

Deploy manifest

Deploy MCS manifest

Artifacts

Produced during runtime

Name	Size
kernel-builds--RISCV64-	1.23 MB
kernel-builds-1-RISCV64-	1.3 MB
logs--AARCH64-	154 MB
logs--AARCH64-bcm2711	154 MB
logs--AARCH64-zynqmp	154 MB
logs--ARM-	209 MB
logs--ARM_HYP-	192 MB
logs--ARM_HYP-exynos5	384 MB
logs--RISCV64-	185 MB
logs--X64-	175 MB
logs-1-AARCH64-	154 MB
logs-1-ARM-	209 MB
logs-1-ARM_HYP-	192 MB
logs-1-RISCV64-	185 MB
logs-1-X64-	175 MB