seL4Test

cmake_tool: Build binaries for rocket chip plats #42

Sign in to view logs

Triggered via push October 24, 2023 13:57

axel-h

master

Status Success

Total duration 16m 42s

Artifacts –

sel4test-sim.yml

on: push

Matrix: Simulation