SDK

Update to latest seL4 #214

Sign in to view logs

Triggered via pull request May 1, 2024 06:36

Ivan-Velickovic

opened #122

update_kernel

Status Failure

Total duration 16m 52s

Artifacts –

sdk.yaml

on: pull_request

Build SDK (Linux x86-64)

Build SDK (macOS x86-64)

Build SDK (macOS ARM64)

Annotations

3 errors

Build SDK (Linux x86-64)

Process completed with exit code 1.

Build SDK (macOS x86-64)

Process completed with exit code 1.

Build SDK (macOS ARM64)

Process completed with exit code 1.