seL4Test

sel4vmmplatsupport: Rename PAGE_SIZE constant #408

Sign in to view logs

Triggered via pull request February 13, 2025 07:36

kent-mcleod

synchronize #130

kent-mcleod:kent/musl

Status Success

Total duration 9m 34s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation