Proofs

runtest: echo NUM_DOMAINS override #642

Sign in to view logs

Re-run triggered December 11, 2023 12:22

lsf37

master

Status Success

Total duration 27s

Artifacts 6

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

proof-deploy.yml

on: push

Matrix: Rebase platform branches

Matrix: Proof

Deploy manifest

Artifacts

Produced during runtime

Name	Size
kernel-builds Expired	22.2 MB
logs-AARCH64 Expired	135 MB
logs-ARM Expired	203 MB
logs-ARM_HYP Expired	186 MB
logs-RISCV64 Expired	180 MB
logs-X64 Expired	169 MB