Platform Proofs Exynos 5

github: add exynos5 workflow for branch push #542

Sign in to view logs

Triggered via push August 23, 2023 01:53

seL4-ci

exynos5-ver-rebased

Status Failure

Total duration 2h 11m 55s

Artifacts –

proof-deploy.yml

on: push

Matrix: Proof

Push rebased branch

Annotations

1 error

Proof (ARM_HYP, exynos5)

Action aws-proofs failed.