manifest-update #531

Triggered via repository dispatch August 13, 2023 01:14

seL4-ci

manifest-update ⁠ 0211681

Status Failure

Total duration 3h 46m 25s

Artifacts 4

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