Platform Proofs IMX8MM

github: add imx8mm workflow for branch push #858

Sign in to view logs

Triggered via push June 12, 2024 03:25

seL4-ci

imx8-fpu-ver-rebased

Status Cancelled

Total duration 36s

Artifacts –

proof-deploy.yml

on: push

Matrix: Proof

Push rebased branch

Annotations

1 error

Proof (ARM, imx8mm)

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