manifest-update #530

Triggered via repository dispatch August 10, 2023 07:29

seL4-ci

manifest-update ⁠ 0211681

Status Failure

Total duration 2h 46m 54s

Artifacts 3

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

proof-deploy.yml

on: repository_dispatch

Matrix: Rebase platform branches

Matrix: Proof

2 errors

Action aws-proofs failed.

Action aws-proofs failed.

Produced during runtime