Platform Proofs Exynos 5

github: add exynos5 workflow for branch push #772

Sign in to view logs

Triggered via push March 25, 2024 19:46

seL4-ci

exynos5-ver-rebased

Status Cancelled

Total duration 1m 11s

Artifacts –

proof-deploy.yml

on: push

Matrix: Proof

Push rebased branch

Annotations

1 error

Proof (ARM_HYP, exynos5)

Canceling since a higher priority waiting request for 'l4v-refs/heads/exynos5-ver-rebased-0' exists