Proofs

Platform Proofs IMX8MM #1041

Sign in to view logs

Manually triggered February 10, 2025 04:59

lsf37

rt

Status Success

Total duration 2h 40m 34s

Artifacts 4

proof-deploy.yml

on: workflow_dispatch

Freeze MCS Code

Trigger platform branch rebase

Matrix: Proof

Matrix: MCS Proof

Deploy manifest

Deploy MCS manifest

Artifacts

Produced during runtime

Name	Size
mcs-logs--ARM-	162 MB
mcs-logs--RISCV64-	215 MB
mcs-logs-1-ARM-	103 MB
mcs-logs-1-RISCV64-	156 MB