Trigger

[CI] Update seL4 to cpp-compatible version #332

Sign in to view logs

Summary
Jobs
- L4v
Run details
- Usage
- Workflow file

Triggered via push November 8, 2023 00:04

seL4-ci

master

Status Success

Total duration 14s

Artifacts –

trigger.yml

on: push